svf-lib 1.0.2390 → 1.0.2391

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 (15) hide show
  1. package/SVF-osx/bin/ae +0 -0
  2. package/SVF-osx/bin/cfl +0 -0
  3. package/SVF-osx/bin/dvf +0 -0
  4. package/SVF-osx/bin/llvm2svf +0 -0
  5. package/SVF-osx/bin/mta +0 -0
  6. package/SVF-osx/bin/saber +0 -0
  7. package/SVF-osx/bin/svf-ex +0 -0
  8. package/SVF-osx/bin/wpa +0 -0
  9. package/SVF-osx/include/SVF-LLVM/LLVMModule.h +2 -0
  10. package/SVF-osx/include/SVF-LLVM/SVFIRBuilder.h +2 -0
  11. package/SVF-osx/include/SVFIR/SVFValue.h +4 -2
  12. package/SVF-osx/include/SVFIR/SVFVariables.h +3 -1
  13. package/SVF-osx/lib/libSvfCore.3.2.dylib +0 -0
  14. package/SVF-osx/lib/libSvfLLVM.3.2.dylib +0 -0
  15. package/package.json +1 -1
package/SVF-osx/bin/ae CHANGED
Binary file
package/SVF-osx/bin/cfl CHANGED
Binary file
package/SVF-osx/bin/dvf CHANGED
Binary file
package/SVF-osx/bin/llvm2svf CHANGED
Binary file
package/SVF-osx/bin/mta CHANGED
Binary file
package/SVF-osx/bin/saber CHANGED
Binary file
package/SVF-osx/bin/svf-ex CHANGED
Binary file
package/SVF-osx/bin/wpa CHANGED
Binary file
package/SVF-osx/include/SVF-LLVM/LLVMModule.h CHANGED
@@ -25,6 +25,8 @@
25
25
  *
26
26
  * Created on: 23 Mar.2020
27
27
  * Author: Yulei Sui
28
+ * Refactored on: Jan 25, 2024
29
+ * Author: Xiao Cheng, Yulei Sui
28
30
  */
29
31
 
30
32
  #ifndef INCLUDE_SVF_FE_LLVMMODULE_H_
package/SVF-osx/include/SVF-LLVM/SVFIRBuilder.h CHANGED
@@ -25,6 +25,8 @@
25
25
  *
26
26
  * Created on: Nov 1, 2013
27
27
  * Author: Yulei Sui
28
+ * Refactored on: Jan 25, 2024
29
+ * Author: Xiao Cheng, Yulei Sui
28
30
  */
29
31
 
30
32
  #ifndef PAGBUILDER_H_
package/SVF-osx/include/SVFIR/SVFValue.h CHANGED
@@ -1,4 +1,4 @@
1
- //===- BasicTypes.h -- Basic types used in SVF-------------------------------//
1
+ //===- SVFValue.h -- Basic types used in SVF-------------------------------//
2
2
  //
3
3
  // SVF: Static Value-Flow Analysis
4
4
  //
@@ -21,10 +21,12 @@
21
21
  //===----------------------------------------------------------------------===//
22
22
 
23
23
  /*
24
- * BasicTypes.h
24
+ * SVFValue.h
25
25
  *
26
26
  * Created on: Apr 1, 2014
27
27
  * Author: Yulei Sui
28
+ * Refactored on: Feb 10, 2025
29
+ * Author: Xiao Cheng, Yulei Sui
28
30
  */
29
31
 
30
32
  #ifndef INCLUDE_SVFIR_SVFVALUE_H_
package/SVF-osx/include/SVFIR/SVFVariables.h CHANGED
@@ -1,4 +1,4 @@
1
- //===- SVFSymbols.h -- SVF Variables------------------------//
1
+ //===- SVFVariables.h -- SVF Variables------------------------//
2
2
  //
3
3
  // SVF: Static Value-Flow Analysis
4
4
  //
@@ -25,6 +25,8 @@
25
25
  *
26
26
  * Created on: Nov 11, 2013
27
27
  * Author: Yulei Sui
28
+ * Refactored on: Nov 30, 2024
29
+ * Author: Xiao Cheng, Yulei Sui
28
30
  */
29
31
 
30
32
  #ifndef INCLUDE_SVFIR_SVFVARIABLE_H_
package/SVF-osx/lib/libSvfCore.3.2.dylib CHANGED
Binary file
package/SVF-osx/lib/libSvfLLVM.3.2.dylib CHANGED
Binary file
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2390",
3
+ "version": "1.0.2391",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {