ksluckow/awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

awesome-listdynamic-analysisdynamic-symbolic-executionsymbolic-execution

Licencia y mantenimiento

CC0-1.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 7 meses.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	rshipp/awesome-malware-analysisDefund the Police.	★ 14.3k	—	Other	Sin cambios
2	codecrafters-io/build-your-own-xMaster programming by recreating your favorite technologies from scratch.	★ 554.3k	Markdown	—	Menos activo
3	sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics [NOTE: Pull requests are temporarily disabled until I have a chance to catch up with t	★ 520.9k	—	CC0-1.0	Activo
4	vinta/awesome-pythonThe definitive list that answers "I want to do X in Python, which tool should I use?"	★ 328.4k	Python	Other	Activo
5	awesome-selfhosted/awesome-selfhostedA list of Free Software network services and web applications which can be hosted on your own servers	★ 328k	—	Other	Activo
6	trimstray/the-book-of-secret-knowledgeA collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.	★ 251.1k	—	MIT	Sin cambios
7	ossu/computer-science🎓 Path to a free self-taught education in Computer Science!	★ 210.1k	HTML	MIT	Menos activo
8	avelino/awesome-goA curated list of awesome Go frameworks, libraries and software	★ 189.1k	Go	MIT	Activo