GitHub - purs3lab/ArduSVF: Modified version of PurSecLab's SVF for ArduPilot risky component analysis

Building

Make sure you have llvm-12 binaries in your path. Additionally set LLVM_DIR like so

export LLVM_DIR=/workdisk/akul/fire/dev2/llvm-12.0.0.obj

Run build.sh

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
CRT/Example		CRT/Example
allocator		allocator
bitcodes		bitcodes
doc		doc
images		images
include		include
lib		lib
stylesheets		stylesheets
symex		symex
tools		tools
.gitignore		.gitignore
1		1
2		2
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
LICENSE.TXT		LICENSE.TXT
Makefile		Makefile
README.md		README.md
README.md.old		README.md.old
build.sh		build.sh
cg		cg
checkMPUReq.py		checkMPUReq.py
clean		clean
clean.sh		clean.sh
create_funcs		create_funcs
dev.map		dev.map
dg		dg
index.html		index.html
kern_funcs		kern_funcs
kern_funcs2		kern_funcs2
kern_test		kern_test
make.sh		make.sh
package.json		package.json
parser.py		parser.py
partition.py		partition.py
rules.ninja		rules.ninja
run		run
run2		run2
runz		runz
safe_funcs		safe_funcs
safe_funcs2		safe_funcs2
safe_test		safe_test
setup.sh		setup.sh
svf-ex.cpp		svf-ex.cpp
temp		temp
test.c		test.c
user_funcs		user_funcs
user_funcs2		user_funcs2
user_test		user_test