FHNW-Security-Lab-Experimental / SymEx-DivideAndConquer Public

A divide and conquer algorithm for vulnerability detection using Symbolic Execution

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Analyser_Hook.py		Analyser_Hook.py
Analyzer.py		Analyzer.py
LICENSE		LICENSE
README.md		README.md
Vulnerability_Analyser.py		Vulnerability_Analyser.py
functionHooks.py		functionHooks.py
functionSummary.py		functionSummary.py
getListOfFunctions.py		getListOfFunctions.py
getProximityGraph.py		getProximityGraph.py
printGraph.py		printGraph.py
simple_sym_exec.py		simple_sym_exec.py
test.py		test.py
test2.py		test2.py
testgraph.png		testgraph.png