· 2016

SVF: interprocedural static value-flow analysis in LLVM

Yulei Sui, Jingling Xue

420citations
2016year

Short summary

SVF is a new LLVM-based tool that performs scalable and precise interprocedural static value-flow analysis for C programs, improving precision through iterative value-flow and pointer analysis.

AI-generated from the title and abstract; the full text is not read.

TakeawaysIn the app

Key pointsIn the app

Ask the paperIn the app

The rest is in the Pofolia app

Takeaways, key points and questions to the paper; new summaries every day for your field. Free.

Get it on Google Play Download on the App Store

Field: Software

SoftwareComputer Science