svf-tools 1.0.598 → 1.0.600

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (12) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +7 -1
  3. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +31 -29
  4. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +37 -36
  5. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +186 -144
  6. package/SVF-doxygen/html/html/functions_func_u.html +1 -0
  7. package/SVF-doxygen/html/html/functions_u.html +1 -0
  8. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  9. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  10. package/include/SVF-LLVM/SVFIRBuilder.h +3 -0
  11. package/lib/SVF-LLVM/SVFIRBuilder.cpp +32 -0
  12. package/package.json +1 -1
package/README.md CHANGED
@@ -28,7 +28,7 @@
28
28
  * [SABER](https://github.com/SVF-tools/SVF/tree/master/include/SABER) (<b>memory error checking</b>): memory leaks and double-frees ([ISSTA'12](https://yuleisui.github.io/publications/issta12.pdf), [TSE'14](https://yuleisui.github.io/publications/tse14.pdf), [ICSE'18](https://yuleisui.github.io/publications/icse18a.pdf));
29
29
  * [MTA](https://github.com/SVF-tools/SVF/tree/master/include/MTA) (<b>analysis of mutithreaded programs</b>): value-flows for multithreaded programs ([CGO'16](https://yuleisui.github.io/publications/cgo16.pdf));
30
30
  * [CFL](https://github.com/SVF-tools/SVF/tree/master/include/CFL) (<b>context-free-reachability analysis</b>): standard CFL solver, graph and grammar ([OOPSLA'22](https://yuleisui.github.io/publications/oopsla22.pdf));
31
- * [MemoryModel](https://github.com/SVF-tools/SVF/tree/master/include/MemoryModel)/[SVFIR](https://github.com/SVF-tools/SVF/tree/master/include/SVFIR) (<b>memory abstraction</b>): SVFIR and points-to data structures ([SAS'21](https://yuleisui.github.io/publications/sas21.pdf));
31
+ * [SVFIR](https://github.com/SVF-tools/SVF/tree/master/include/SVFIR) and [MemoryModel](https://github.com/SVF-tools/SVF/tree/master/include/MemoryModel) (<b>SVFIR</b>): SVFIR, memory abstraction and points-to data structure ([SAS'21](https://yuleisui.github.io/publications/sas21.pdf));
32
32
  * [Graphs](https://github.com/SVF-tools/SVF/tree/master/include/Graphs): <b> generating a variety of graphs</b>, including call graph, ICFG, class hirachary graph, constraint graph, value-flow graph for static analyses and code embedding ([OOPSLA'20](https://yuleisui.github.io/publications/oopsla20.pdf), [TOSEM'21](https://yuleisui.github.io/publications/tosem21.pdf))
33
33
 
34
34
  <b>SVF</b>'s doxygen document is available [here](https://svf-tools.github.io/SVF-doxygen/html).