svf-lib 1.0.1824 → 1.0.1825

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