GitHub - ashiqursuperfly/pointer-analysis: Pointer Analysis of a standard C program using SVF tool

ashiqursuperfly / pointer-analysis Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Pointer Analysis of a standard C program using SVF tool

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
SVF		SVF
projects/sampleproject		projects/sampleproject
.gitignore		.gitignore
README.md		README.md
init.sh		init.sh

Repository files navigation

run all commands in init.sh before starting an analysis.

first convert your .c file to bitcode .bc file.

now u can run all the analysis provided by SVF

About

Pointer Analysis of a standard C program using SVF tool

c pointer-analysis svf

Report repository

Releases

No releases published

Packages

No packages published

Languages