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

License & maintenance

CC0-1.0 is a permissive license: free to use commercially with attribution.

Last code push 7 months ago.

	Repository	Stars	Language	License	Activity
1	rshipp/awesome-malware-analysisDefund the Police.	★ 14.3k	—	Other	Stale
2	codecrafters-io/build-your-own-xMaster programming by recreating your favorite technologies from scratch.	★ 554.3k	Markdown	—	Slowing
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	Active
4	vinta/awesome-pythonThe definitive list that answers "I want to do X in Python, which tool should I use?"	★ 328.4k	Python	Other	Active
5	awesome-selfhosted/awesome-selfhostedA list of Free Software network services and web applications which can be hosted on your own servers	★ 328k	—	Other	Active
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	Stale
7	ossu/computer-science🎓 Path to a free self-taught education in Computer Science!	★ 210.1k	HTML	MIT	Slowing
8	avelino/awesome-goA curated list of awesome Go frameworks, libraries and software	★ 189.1k	Go	MIT	Active