Skip to content

Latest commit

 

History

1 Commit

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 

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

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages