svf-lib 1.0.1621 → 1.0.1623

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 (59) hide show
  1. package/SVF-linux/Release-build/include/Util/config.h +1 -0
  2. package/SVF-linux/Release-build/include/Util/extapi.bc +2084 -0
  3. package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
  4. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  5. package/SVF-linux/svf/include/AbstractExecution/ConsExeState.h +1 -1
  6. package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h +1 -1
  7. package/SVF-linux/svf/include/AbstractExecution/IntervalValue.h +1 -1
  8. package/SVF-linux/svf/include/AbstractExecution/SymState.h +1 -1
  9. package/SVF-linux/svf/include/CFL/CFGrammar.h +1 -1
  10. package/SVF-linux/svf/include/CFL/GrammarBuilder.h +3 -3
  11. package/SVF-linux/svf/include/FastCluster/fastcluster.h +4 -4
  12. package/SVF-linux/svf/include/Graphs/CHG.h +1 -1
  13. package/SVF-linux/svf/include/Graphs/ConsG.h +3 -3
  14. package/SVF-linux/svf/include/Graphs/GenericGraph.h +2 -2
  15. package/SVF-linux/svf/include/Graphs/GraphTraits.h +1 -1
  16. package/SVF-linux/svf/include/Graphs/GraphWriter.h +1 -1
  17. package/SVF-linux/svf/include/Graphs/IRGraph.h +1 -1
  18. package/SVF-linux/svf/include/Graphs/PTACallGraph.h +1 -1
  19. package/SVF-linux/svf/include/Graphs/VFGNode.h +2 -2
  20. package/SVF-linux/svf/include/MSSA/MSSAMuChi.h +2 -2
  21. package/SVF-linux/svf/include/MSSA/MemRegion.h +1 -1
  22. package/SVF-linux/svf/include/MSSA/MemSSA.h +1 -1
  23. package/SVF-linux/svf/include/MTA/FSMPTA.h +1 -1
  24. package/SVF-linux/svf/include/MTA/MHP.h +1 -1
  25. package/SVF-linux/svf/include/MTA/TCT.h +1 -1
  26. package/SVF-linux/svf/include/MemoryModel/ConditionalPT.h +1 -1
  27. package/SVF-linux/svf/include/MemoryModel/MutablePointsToDS.h +2 -2
  28. package/SVF-linux/svf/include/MemoryModel/PersistentPointsToDS.h +1 -1
  29. package/SVF-linux/svf/include/MemoryModel/PointerAnalysis.h +1 -1
  30. package/SVF-linux/svf/include/MemoryModel/PointsTo.h +1 -1
  31. package/SVF-linux/svf/include/SABER/SaberCondAllocator.h +1 -1
  32. package/SVF-linux/svf/include/SABER/SrcSnkDDA.h +1 -1
  33. package/SVF-linux/svf/include/SVFIR/SVFFileSystem.h +3 -3
  34. package/SVF-linux/svf/include/SVFIR/SVFIR.h +1 -1
  35. package/SVF-linux/svf/include/SVFIR/SVFModule.h +0 -1
  36. package/SVF-linux/svf/include/SVFIR/SVFStatements.h +19 -19
  37. package/SVF-linux/svf/include/SVFIR/SVFType.h +5 -5
  38. package/SVF-linux/svf/include/SVFIR/SVFValue.h +8 -2
  39. package/SVF-linux/svf/include/SVFIR/SVFVariables.h +3 -3
  40. package/SVF-linux/svf/include/SVFIR/SymbolTableInfo.h +3 -3
  41. package/SVF-linux/svf/include/Util/Casting.h +1 -1
  42. package/SVF-linux/svf/include/Util/CoreBitVector.h +2 -2
  43. package/SVF-linux/svf/include/Util/DPItem.h +1 -1
  44. package/SVF-linux/svf/include/Util/ExtAPI.h +11 -457
  45. package/SVF-linux/svf/include/Util/NodeIDAllocator.h +1 -1
  46. package/SVF-linux/svf/include/Util/Options.h +1 -1
  47. package/SVF-linux/svf/include/Util/SVFBugReport.h +1 -1
  48. package/SVF-linux/svf/include/Util/SVFUtil.h +11 -26
  49. package/SVF-linux/svf/include/Util/WorkList.h +1 -1
  50. package/SVF-linux/svf/include/Util/cJSON.h +1 -1
  51. package/SVF-linux/svf/include/WPA/Andersen.h +1 -1
  52. package/SVF-linux/svf/include/WPA/FlowSensitive.h +1 -1
  53. package/SVF-linux/svf/include/WPA/WPASolver.h +1 -1
  54. package/SVF-linux/svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h +1 -1
  55. package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMModule.h +17 -0
  56. package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMUtil.h +14 -1
  57. package/SVF-linux/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +5 -14
  58. package/SVF-linux/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h +1 -1
  59. package/package.json +1 -1
package/SVF-linux/Release-build/include/Util/config.h CHANGED
@@ -2,5 +2,6 @@
2
2
  #define CONFIG_H_IN
3
3
 
4
4
  #define PROJECT_PATH "/home/runner/work/SVF/SVF"
5
+ #define EXTAPI_PATH PROJECT_PATH "/Release-build/include/Util"
5
6
 
6
7
  #endif