symbolic-execution
Here are 248 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
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
-
Updated
Aug 12, 2017 - C
Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
-
Updated
Sep 2, 2017 - Java
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
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."