symbolic-execution
Here are 287 public repositories matching this topic...
CRAX: software CRash analysis for Automatic eXploit generation
-
Updated
Aug 19, 2015 - C
Test case generation of classic N-Puzzle game using Z3
-
Updated
Dec 14, 2015 - Python
Symbolic Executor for the High-Level Transformation Language TRON
-
Updated
Oct 31, 2016 - Scala
A framework for user-guided symbolic execution (with visualization) of LLVM Bitcode. A demo of the project can be viewed at https://www.youtube.com/watch?v=0VNe4BjjF90
-
Updated
Dec 25, 2016 - C++
Basic x86 Symbolic Execution for educational purposes
-
Updated
May 8, 2017 - Python
-
Updated
May 8, 2017 - Batchfile
The iptables to SEFL (Symbolic Execution Friendly Language) compiler.
-
Updated
Jul 1, 2017 - Scala
Bachelor thesis: Formal analysis of iptables configurations for network verification
-
Updated
Jul 3, 2017 - TeX
Verification and Validation course offered at Kansas State University in Fall'15, '16, and '17
-
Updated
Oct 4, 2017
several scripts to process data from SMT solvers
-
Updated
Oct 14, 2017 - Python
Seeding fuzzers with symbolic execution
-
Updated
Oct 20, 2017 - Python
KLEE-TAINT - Klee with taint analysis support
-
Updated
Oct 23, 2017 - C++
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
-
Updated
Oct 23, 2017 - Python
Symbolic Execution Engine Modoki
-
Updated
Nov 8, 2017 - Python
A set of programs used for benchmarking the strength of obfuscation
-
Updated
Feb 25, 2018 - C
Improve this page
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."