XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-21 08:56:49 +08:00
Code Issues Projects Releases Wiki Activity
10 commits 1 branch 0 tags 135 KiB
Commit graph

10 commits

This branch
This branch
All branches
Author SHA1 Message Date
Stanislav Pankevich
ff92d9eded
Papers: Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. 2017-12-05 12:20:17 +01:00
Kasper Luckow
78d8e8e7cb Add misc section of tools 2017-07-23 15:56:31 -07:00
Kasper Luckow
5088e5003d Update description 2017-07-23 15:50:29 -07:00
Kasper Luckow
a4d30d18be Add more tools, papers, courses, and videos 2017-07-23 15:47:38 -07:00
Kasper Luckow
bfb3141d51 Fix link to JDart 2017-07-19 14:13:22 -07:00
Kasper Luckow
0040d2f9c9 Add some sym exe tools for Java 2017-07-19 14:11:49 -07:00
Kasper Luckow
5c46087bec Fix lower case letters in links 2017-07-18 16:01:05 -07:00
Kasper Luckow
f3f5295d17 Basic TOC 2017-07-18 15:59:50 -07:00
Kasper Luckow
c39cd93213 Add contribution guidelines (modified version of 
https://github.com/sindresorhus/awesome/blob/master/contributing.md)
 2017-07-18 15:48:10 -07:00
Kasper Luckow
133da36215 Init commit 2017-07-18 15:47:44 -07:00