svf-lib 1.0.2390 → 1.0.2392

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.
@@ -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_
@@ -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_
@@ -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_
@@ -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/bin/ae CHANGED
Binary file
package/SVF-osx/bin/cfl CHANGED
Binary file
package/SVF-osx/bin/dvf CHANGED
Binary file
Binary file
package/SVF-osx/bin/mta CHANGED
Binary file
package/SVF-osx/bin/saber CHANGED
Binary file
Binary file
package/SVF-osx/bin/wpa CHANGED
Binary file
@@ -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_
@@ -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_
@@ -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_
@@ -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_
Binary file
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.2392",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {