svf-lib 1.0.2392 → 1.0.2393
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.
- package/SVF-linux-x86_64/include/SVF-LLVM/LLVMModule.h +2 -0
- package/SVF-linux-x86_64/include/SVF-LLVM/SVFIRBuilder.h +2 -0
- package/SVF-linux-x86_64/include/SVFIR/SVFValue.h +4 -2
- package/SVF-linux-x86_64/include/SVFIR/SVFVariables.h +3 -1
- package/SVF-linux-x86_64/lib/libSvfCore.so.3.2 +0 -0
- package/SVF-linux-x86_64/lib/libSvfLLVM.so.3.2 +0 -0
- package/package.json +1 -1
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
//===-
|
|
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
|
-
*
|
|
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
|
-
//===-
|
|
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
|