svf-lib 1.0.1825 → 1.0.1827

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 (71) hide show
  1. package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
  2. package/{SVF-osx → SVF-linux}/Release-build/svf-llvm/extapi.bc +459 -460
  3. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  4. package/SVF-osx/svf/include/Util/WorkList.h +0 -0
  5. package/SVF-osx/svf-llvm/include/SVF-LLVM/CPPUtil.h +37 -12
  6. package/SVF-osx/svf-llvm/include/SVF-LLVM/DCHG.h +1 -9
  7. package/SVF-osx/svf-llvm/include/SVF-LLVM/ICFGBuilder.h +1 -0
  8. package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMModule.h +0 -1
  9. package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h +4 -108
  10. package/package.json +1 -1
  11. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  12. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  13. package/SVF-osx/svf/include/AbstractExecution/WTO.h +0 -892
  14. package/SVF-osx/svf/include/CFL/CFLData.h +0 -316
  15. package/SVF-osx/svf/include/CFL/CFLDataBuilder.h +0 -91
  16. package/SVF-osx/svf/include/CFL/CFLGrammar.h +0 -468
  17. package/SVF-osx/svf/include/CFL/CFLGrammar.txt +0 -15
  18. package/SVF-osx/svf/include/CFL/CFLGrammarDev.txt +0 -16
  19. package/SVF-osx/svf/include/CFL/PEGGrammar.txt +0 -11
  20. package/SVF-osx/svf/include/CFL/VFG.txt +0 -7
  21. package/SVF-osx/svf/include/CUDD/cudd.h +0 -688
  22. package/SVF-osx/svf/include/CUDD/cuddInt.h +0 -1145
  23. package/SVF-osx/svf/include/CUDD/epd.h +0 -192
  24. package/SVF-osx/svf/include/CUDD/mtr.h +0 -180
  25. package/SVF-osx/svf/include/CUDD/mtrInt.h +0 -92
  26. package/SVF-osx/svf/include/CUDD/st.h +0 -230
  27. package/SVF-osx/svf/include/CUDD/util.h +0 -196
  28. package/SVF-osx/svf/include/Graphs/ExternalPAG.h +0 -147
  29. package/SVF-osx/svf/include/Graphs/ICFGWrapper.h +0 -726
  30. package/SVF-osx/svf/include/Graphs/OfflineConsG.h +0 -151
  31. package/SVF-osx/svf/include/Graphs/PAG.h +0 -932
  32. package/SVF-osx/svf/include/Graphs/PAGEdge.h +0 -738
  33. package/SVF-osx/svf/include/Graphs/PAGNode.h +0 -843
  34. package/SVF-osx/svf/include/MTA/LockResultValidator.h +0 -118
  35. package/SVF-osx/svf/include/MTA/MTAAnnotator.h +0 -118
  36. package/SVF-osx/svf/include/MemoryModel/LocationSet.h +0 -157
  37. package/SVF-osx/svf/include/MemoryModel/MemModel.h +0 -414
  38. package/SVF-osx/svf/include/MemoryModel/PAGBuilderFromFile.h +0 -80
  39. package/SVF-osx/svf/include/MemoryModel/PTAStat.h +0 -174
  40. package/SVF-osx/svf/include/MemoryModel/PTAType.h +0 -368
  41. package/SVF-osx/svf/include/MemoryModel/PointsToDFDS.h +0 -514
  42. package/SVF-osx/svf/include/MemoryModel/PointsToDS.h +0 -289
  43. package/SVF-osx/svf/include/MemoryModel/SVFIR.h +0 -650
  44. package/SVF-osx/svf/include/MemoryModel/SVFStatements.h +0 -1101
  45. package/SVF-osx/svf/include/MemoryModel/SVFSymbols.h +0 -648
  46. package/SVF-osx/svf/include/MemoryModel/SVFVariables.h +0 -721
  47. package/SVF-osx/svf/include/MemoryModel/SymbolTableInfo.h +0 -713
  48. package/SVF-osx/svf/include/SABER/PathCondAllocator.h +0 -303
  49. package/SVF-osx/svf/include/SABER/SaberAnnotator.h +0 -72
  50. package/SVF-osx/svf/include/SVFIR/SVFIRRW.h +0 -1302
  51. package/SVF-osx/svf/include/SVFIR/SVFModuleRW.h +0 -197
  52. package/SVF-osx/svf/include/Util/BDDExpr.h +0 -198
  53. package/SVF-osx/svf/include/Util/BasicTypes.h +0 -768
  54. package/SVF-osx/svf/include/Util/CFLSolver.h +0 -186
  55. package/SVF-osx/svf/include/Util/Conditions.h +0 -421
  56. package/SVF-osx/svf/include/Util/CppUtil.h +0 -81
  57. package/SVF-osx/svf/include/Util/ExeState.h +0 -197
  58. package/SVF-osx/svf/include/Util/ExtAPI.json +0 -5853
  59. package/SVF-osx/svf/include/Util/IRAnnotator.h +0 -321
  60. package/SVF-osx/svf/include/Util/PathCondAllocator.h +0 -286
  61. package/SVF-osx/svf/include/Util/PathDPItem.h +0 -310
  62. package/SVF-osx/svf/include/Util/SCC.h +0 -352
  63. package/SVF-osx/svf/include/Util/SVFBasicTypes.h +0 -245
  64. package/SVF-osx/svf/include/Util/SVFInstruction.h +0 -40
  65. package/SVF-osx/svf/include/Util/SVFModule.h +0 -278
  66. package/SVF-osx/svf/include/Util/SymState.h +0 -118
  67. package/SVF-osx/svf/include/Util/TypeBasedHeapCloning.h +0 -188
  68. package/SVF-osx/svf/include/WPA/AndersenSFR.h +0 -160
  69. package/SVF-osx/svf/include/WPA/FlowSensitiveTBHC.h +0 -122
  70. package/SVF-osx/svf/include/WPA/TypeBasedHeapCloning.h +0 -188
  71. package/SVF-osx/svf-llvm/include/SVF-LLVM/IRAnnotator.h +0 -324