Adaptability of Metadata and Compiler Hints

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

http://svf-tools.github.io/SVF/

Other

1.36k stars 431 forks source link

Adaptability of Metadata and Compiler Hints #162

Open yiansu opened 4 years ago

yiansu commented 4 years ago

Hello,

I want to use SVF as an external tool for my project to provide both pointer and alias analysis. I just want to know whether or not SVF has the ability to read the metadata of bitcode or the adaptability to receive compiler hints as input so as to increase the accuracy of pointer analysis? Thank you.

yuleisui commented 4 years ago

SVF supports reading and modifying metadata. You may wish to take a look at https://github.com/SVF-tools/SVF/blob/master/include/Util/Annotator.h and https://github.com/SVF-tools/SVF/blob/master/lib/SABER/SaberAnnotator.cpp

yiansu commented 4 years ago

I will take a look. Thank you for the confirmation.