CC   2016 Creativity and Cognition
Wall of Fame | Most Viewed CC-2016 Paper
5 years 2 months ago
SVF: interprocedural static value-flow analysis in LLVM
This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, ...
Yulei Sui, Jingling Xue
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source92
2Download preprint from source75
3Download preprint from source74
4Download preprint from source74
5Download preprint from source68
6Download preprint from source65
7Download preprint from source62
8Download preprint from source58
9Download preprint from source57
10Download preprint from source54
11Download preprint from source52
12Download preprint from source50