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

25 commits

This branch
This branch
All branches
Author SHA1 Message Date
Kasper Luckow
d6ebff5ecd
Update broken links 2024-03-05 21:52:12 -08:00
Nils Loose
ad04e1b633 Added new Java DSE engine to the list. 
Added SWAT, a new DSE engine for Java, to the list of existing engines.
 2024-03-05 21:46:02 -08:00
Sören Tempel
40e8cc3054 Add SymEx-VP engine 2023-07-14 21:45:25 -07:00
Guannan Wei
92829f9331 Add GenSym engine 2023-04-29 14:14:09 -07:00
Christoph Thiede
b1547c37e2 papers: add cadar2013symbolic and XMUsuny collection 
Closes #16.
 2023-03-24 21:23:07 -07:00
alpharush
48a6b0d537 add Program Analysis course by Prof. Pradel 2023-03-24 21:20:23 -07:00
Alexey Vishnyakov
191d33c2d6 Add Sydr-Fuzz 2023-03-24 21:19:21 -07:00
XD3an
0a295710c9 Update README.md 
add description of some tools
 2023-02-28 21:22:20 -08:00
deadjakk
88125b9c8d added maat to README.md 2022-03-02 20:12:11 -08:00
Jaen
eeb67c1039 Add link to BinCAT from Airbus security lab 2021-10-09 18:28:13 -07:00
Phillip Schanely
98014d8550 Add CrossHair to Python section. 2021-10-09 18:25:25 -07:00
Theodor
b6f327ec0f Added SymCC to the list. 2021-10-09 18:24:56 -07:00
Martin Monperrus
acfced58c4 Give the correct name in use of Symbolic PathFinder (SPF) 2021-10-09 18:24:15 -07:00
Adrian Herrera
15dc2febea Updated S2E website 2018-08-12 23:04:22 -07:00
Michael Rodler
e37fd9b997 Update README.md 2018-08-12 23:02:11 -07:00
Michael Rodler
428dfe2f5f Add manticore symbolic execution tool 2018-08-12 23:02:11 -07: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