svf-lib 1.0.1925 → 1.0.1927

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 (29) hide show
  1. package/SVF-linux/Release-build/bin/ae +0 -0
  2. package/SVF-linux/Release-build/bin/svf-ex +0 -0
  3. package/SVF-linux/Release-build/include/AE/Core/AbstractState.h +750 -0
  4. package/SVF-linux/Release-build/include/AE/Core/AbstractValue.h +514 -39
  5. package/SVF-linux/Release-build/include/AE/Core/AddressValue.h +32 -25
  6. package/SVF-linux/Release-build/include/AE/Core/ExeState.h +2 -2
  7. package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h +9 -24
  8. package/SVF-linux/Release-build/include/AE/Core/RelationSolver.h +9 -9
  9. package/SVF-linux/Release-build/include/AE/Svfexe/{AbstractExecution.h → AbstractInterpretation.h} +24 -22
  10. package/SVF-linux/Release-build/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  11. package/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2ItvExeState.h +23 -25
  12. package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
  13. package/SVF-osx/Release-build/bin/ae +0 -0
  14. package/SVF-osx/Release-build/bin/svf-ex +0 -0
  15. package/SVF-osx/Release-build/include/AE/Core/AbstractState.h +2 -3
  16. package/SVF-osx/Release-build/include/AE/Core/IntervalValue.h +1 -0
  17. package/SVF-osx/Release-build/include/AE/Core/RelExeState.h +1 -1
  18. package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h +3 -4
  19. package/SVF-osx/Release-build/include/AE/Svfexe/ICFGSimplification.h +1 -2
  20. package/SVF-osx/Release-build/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h} +8 -9
  21. package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
  22. package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
  23. package/package.json +1 -1
  24. package/SVF-linux/Release-build/include/AE/Core/IntervalExeState.h +0 -650
  25. package/SVF-osx/Release-build/include/AE/Core/ConsExeState.h +0 -453
  26. package/SVF-osx/Release-build/include/AE/Core/ExeState.h +0 -304
  27. package/SVF-osx/Release-build/include/AE/Core/SingleAbsValue.h +0 -477
  28. package/SVF-osx/Release-build/include/AE/Core/SymState.h +0 -221
  29. package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2ConsExeState.h +0 -148
package/SVF-linux/Release-build/bin/ae CHANGED
Binary file
package/SVF-linux/Release-build/bin/svf-ex CHANGED
Binary file