XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-20 16:45:28 +08:00
Code Issues Projects Releases Wiki Activity

Commit graph

  • cd9a1c0d0c
         Merge b29d6349ca into 066a7e944d Vladislav P 2026-03-15 13:50:24 +0800
  • 066a7e944d Add APEX — concolic execution engine for Python master AD 2026-03-13 18:57:29 +0300
  • fcf0c86c76 Add APEX — concolic execution engine for Python AD 2026-03-13 18:57:29 +0300
  • a4cd5c2828 Add VSharp Roman Kornilov 2025-06-09 14:54:38 +0500
  • 4af377bce9
         Add VSharp Roman Kornilov 2025-06-09 14:54:38 +0500
  • 789666fb4f
         Update Cloud9 link Kasper Luckow 2024-10-05 20:40:06 -0700
  • b10e9ae857 add Owi zapashcanon 2024-09-18 13:47:54 +0200
  • 64d5491481
         add Owi zapashcanon 2024-09-18 13:47:54 +0200
  • 4b4a2d1730
         Update README.md Jie Zhu 2024-07-23 14:01:08 -0500
  • d6ebff5ecd
         Update broken links Kasper Luckow 2024-03-05 21:52:12 -0800
  • ad04e1b633 Added new Java DSE engine to the list. Nils Loose 2024-03-04 08:11:40 +0000
  • 1ea1ffe464
         Added new Java DSE engine to the list. Nils Loose 2024-03-04 08:11:40 +0000
  • 40e8cc3054 Add SymEx-VP engine Sören Tempel 2023-07-12 17:30:29 +0200
  • cf3c499e5e Add SymEx-VP engine Sören Tempel 2023-07-12 17:30:29 +0200
  • 92829f9331 Add GenSym engine Guannan Wei 2023-04-26 12:25:16 -0400
  • b1dc797236
         Add GenSym engine Guannan Wei 2023-04-26 12:25:16 -0400
  • b1547c37e2 papers: add cadar2013symbolic and XMUsuny collection Christoph Thiede 2023-03-04 20:35:31 +0100
  • f76634fe7e
         Merge 9cecafdddc into 48a6b0d537 Jackson T 2023-03-24 21:20:31 -0700
  • 48a6b0d537 add Program Analysis course by Prof. Pradel alpharush 2022-05-05 10:14:40 -0500
  • 191d33c2d6 Add Sydr-Fuzz Alexey Vishnyakov 2023-03-23 19:01:38 +0300
  • af0d35699a Add Sydr-Fuzz Alexey Vishnyakov 2023-03-23 19:01:38 +0300
  • 6da4197d82
         papers: add cadar2013symbolic and XMUsuny collection Christoph Thiede 2023-03-04 20:35:31 +0100
  • 0a295710c9 Update README.md XD3an 2023-02-28 22:19:04 +0800
  • cf3a652f95
         Update README.md XD3an 2023-02-28 22:19:04 +0800
  • bb2bc66ec8
         add Program Analysis course by Prof. Pradel alpharush 2022-05-05 10:14:40 -0500
  • 88125b9c8d added maat to README.md deadjakk 2022-03-02 10:28:38 -0600
  • db361284fb
         added maat to README.md deadjakk 2022-03-02 10:28:38 -0600
  • b29d6349ca
         Update README.md Vladislav P 2021-12-26 13:43:07 -0500
  • eeb67c1039 Add link to BinCAT from Airbus security lab Jaen 2018-12-02 19:24:49 -0800
  • 98014d8550 Add CrossHair to Python section. Phillip Schanely 2020-01-24 22:07:14 -0500
  • b6f327ec0f Added SymCC to the list. Theodor 2021-03-23 11:52:36 +0300
  • acfced58c4 Give the correct name in use of Symbolic PathFinder (SPF) Martin Monperrus 2018-01-19 16:35:03 +0100
  • 30b3a5fbf4
         Added SymCC to the list. Theodor 2021-03-23 11:52:36 +0300
  • b9ec1c1f8b
         Add CrossHair to Python section. Phillip Schanely 2020-01-24 22:07:14 -0500
  • 9cecafdddc
         Added Rui Reis' symbolic execution intro article. Jackson 2019-01-13 20:44:42 -0800
  • 7c9cf3520d
         Add link to BinCAT from Airbus security lab Jaen 2018-12-02 19:24:49 -0800
  • ac3c667c56
         Merge ff92d9eded into 15dc2febea Stanislav Pankevich 2018-08-19 08:54:59 +0000
  • eff4435cfa
         Merge a9cfb4734c into 15dc2febea Stanislav Pankevich 2018-08-13 12:01:11 +0000
  • 15dc2febea Updated S2E website Adrian Herrera 2018-08-12 17:49:54 +1000
  • e37fd9b997 Update README.md Michael Rodler 2018-08-13 07:34:39 +0200
  • 428dfe2f5f Add manticore symbolic execution tool Michael Rodler 2018-08-08 09:40:30 +0200
  • 0fb2bbbf41
         Update README.md Michael Rodler 2018-08-13 07:34:39 +0200
  • 68c77ab3ad Updated S2E website Adrian Herrera 2018-08-12 17:49:54 +1000
  • 74bcaba494
         Add manticore symbolic execution tool Michael Rodler 2018-08-08 09:40:30 +0200
  • a157af817f
         Give the correct name in use of Symbolic PathFinder (SPF) Martin Monperrus 2018-01-19 16:35:03 +0100
  • a9cfb4734c
         New section: History of symbolic execution. Stanislav Pankevich 2017-12-20 14:56:19 +0100
  • ff92d9eded
         Papers: Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. Stanislav Pankevich 2017-12-05 12:20:17 +0100
  • 78d8e8e7cb Add misc section of tools Kasper Luckow 2017-07-23 15:56:31 -0700
  • 5088e5003d Update description Kasper Luckow 2017-07-23 15:50:29 -0700
  • a4d30d18be Add more tools, papers, courses, and videos Kasper Luckow 2017-07-23 15:47:38 -0700
  • bfb3141d51 Fix link to JDart Kasper Luckow 2017-07-19 14:13:22 -0700
  • 0040d2f9c9 Add some sym exe tools for Java Kasper Luckow 2017-07-19 14:11:49 -0700
  • 5c46087bec Fix lower case letters in links Kasper Luckow 2017-07-18 16:01:05 -0700
  • f3f5295d17 Basic TOC Kasper Luckow 2017-07-18 15:59:50 -0700
  • c39cd93213 Add contribution guidelines (modified version of https://github.com/sindresorhus/awesome/blob/master/contributing.md) Kasper Luckow 2017-07-18 15:48:10 -0700
  • 133da36215 Init commit Kasper Luckow 2017-07-18 15:47:44 -0700