https://github.com/codelion/pa.llvm
Program Analysis for LLVM
https://github.com/codelion/pa.llvm
analysis c-plus-plus llvm
Last synced: 10 months ago
JSON representation
Program Analysis for LLVM
- Host: GitHub
- URL: https://github.com/codelion/pa.llvm
- Owner: codelion
- License: gpl-3.0
- Created: 2013-02-08T07:05:58.000Z (about 13 years ago)
- Default Branch: master
- Last Pushed: 2017-03-25T01:37:06.000Z (almost 9 years ago)
- Last Synced: 2023-03-26T14:15:01.683Z (almost 3 years ago)
- Topics: analysis, c-plus-plus, llvm
- Language: C++
- Size: 56.6 KB
- Stars: 37
- Watchers: 7
- Forks: 12
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
pa.llvm
=======
[](https://doi.org/10.5281/zenodo.9830)
Program Analysis for LLVM
Need LLVM Source Code to Run
- copy in lib/Transforms/ folder inside LLVM top level source tree
- update Makefile in lib/Transforms/ folder to include the analysis you want (e.g. CVA)
- configure using ./configure in source root directory
- compile using "gmake" command in local directory
- should get a “Debug+Asserts/lib/CVA.so” under the top level directory of the LLVM source tree
- run using opt -load ../../../Debug+Asserts/lib/CVA.so -cva < bitcode.bc > /dev/null
Details on LLVM Pass can be found at http://llvm.org/docs/WritingAnLLVMPass.html
Publications
------------
[An Empirical Study of Path Feasibility Queries](http://arxiv.org/abs/1302.4798), CoRR 2013
[A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution](http://asankhaya.github.io/pdf/ACriticalReviewofDynamicTaintAnalysisandForwardSymbolicExecution.pdf), Technical Report NUS 2012