23 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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