Maryam Ebrahimzadeh

plugin make file

1

Hello, there was a problem for MakeFile in `/phasar/examples/plugins`. ``` clang++ -std=c++17 -Wall -Wno-return-type-c-linkage -O0 -fPIC -shared `llvm-config --cppflags` MyIFDSProblem.cxx -o MyIFDSProblem.so MyIFDSProblem.cxx:3:10: fatal error: 'phasar/DB/ProjectIRDB.h' file not found #include...

gdPutBuf return value check for GIF

2

Partial fix applied for BMP and WebP. For GIF, a lot of refactoring is needed and I am not sure it is worth it. What do you think? We can...

llvm gold plugin

1

hello, Can you please help me to find the differences between using `wllvm` tool and the things this llvm gold plugin does? I follow the commands from [your wiki page](https://github.com/SVF-tools/SVF/wiki/Install-LLVM-Gold-Plugin-on-Ubuntu)...

hello, 1-how can I read and use the result of `wpa -nander -print-pts test.ll` result for pointer analysis? how can I map these node IDs to the lines of code?...

how can I run pass on specific functions?

3

hello, I have a question. 1. is there any way to run the function pass(`runOnFunction`) on a specific function that gets the function name from the user? I mean can...

hello, Does this project generate "system dependence graph" too? as you used that in the "Automatic Inference of Search Patterns for Taint-Style Vulnerabilities" paper. Thanks

hello, I could not understand what and where is `SYM_EXEC_EXTRACTOR = "alpha.unix.SymExecExtract"` in your code? can you say some detail about it? thank you

Hello, Thanks for your clean code. I built your passes and run them on a simple test file that contains 3 functions. I use `-dot-ddg` in order to have DDG...