Is is possibale to write a source-sink analyzer whose analyzing object is not pointer?

[Enna1]

I read the detailed code implementation in LeakCheck.cpp and ProgSlice.cpp as the wiki(Write a source sink analyzer) said.

As I understand, the analyzing object of LeakCheck.cpp is pointer, the source of this analyzer is the return pointer of malloc, and the sink of this analyzer is the acutal parameter of free.

I want to know if I can write a svf-based source-sink anlyzer, and the source, sink of this analyzer is scalar value?

Thanks.

[yuleisui]

See the updated wiki page: https://github.com/SVF-tools/SVF/wiki/Write-a-source-sink-analyzer

[Enna1]

Thanks for the reply! I will try with memSSA.buildFullSVFGWithoutOPT(ander) .

[Enna1]

Hi yuleisui, Sorry for another question, how can I perform a reachable analysis for basic blocks in ICFG to see if two basic blocks are AllPathReachable or SomePathReach?

[boofish]

See the updated wiki page: https://github.com/SVF-tools/SVF/wiki/Write-a-source-sink-analyzer

Hi @yuleisui the tutorial is extremely helpful for me. However, currently, I do not have permission to access LeakCheck.cpp and ProgSlice.cpp. When I click the link, it shows You don't have permission to access /~corg/svf/doxygen/_prog_slice_8cpp_source.html on this server. Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request., could you please re-open it?

[yuleisui]

Doxygen here: https://svf-tools.github.io/SVF-doxygen/html/

[boofish]

Doxygen here: https://svf-tools.github.io/SVF-doxygen/html/

Got it, thanks!