Variability-Datalog-C

Extracting Datalog Facts from C programs with variability

Name		Name	Last commit message	Last commit date
Latest commit History 72 Commits
.circleci		.circleci
ControlFlowAnalysis		ControlFlowAnalysis
SouffleRunner		SouffleRunner
TypechefRunner		TypechefRunner
data		data
docker		docker
test		test
util		util
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
ast.examples		ast.examples
package.json		package.json
print_facts.sh		print_facts.sh
print_facts_cfg.sh		print_facts_cfg.sh
save_facts.sh		save_facts.sh
save_facts_cfg.sh		save_facts_cfg.sh

Provide feedback