svf-lib 1.0.2392 → 1.0.2394
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/SVF-osx/include/AE/Svfexe/AEDetector.h +2 -1
- package/SVF-osx/include/AE/Svfexe/AbsExtAPI.h +2 -2
- package/SVF-osx/include/AE/Svfexe/AbstractInterpretation.h +2 -1
- package/SVF-osx/lib/libSvfCore.3.2.dylib +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
|
|
@@ -21,8 +21,8 @@
|
|
|
21
21
|
//===----------------------------------------------------------------------===//
|
|
22
22
|
|
|
23
23
|
|
|
24
|
-
//
|
|
25
|
-
//
|
|
24
|
+
// Created on: Sep 9, 2024
|
|
25
|
+
// Author: Xiao Cheng, Jiawei Wang
|
|
26
26
|
//
|
|
27
27
|
#pragma once
|
|
28
28
|
#include "AE/Core/AbstractState.h"
|
|
@@ -22,7 +22,8 @@
|
|
|
22
22
|
|
|
23
23
|
|
|
24
24
|
//
|
|
25
|
-
//
|
|
25
|
+
// Created on: Jan 10, 2024
|
|
26
|
+
// Author: Xiao Cheng, Jiawei Wang
|
|
26
27
|
// The implementation is based on
|
|
27
28
|
// Xiao Cheng, Jiawei Wang and Yulei Sui. Precise Sparse Abstract Execution via Cross-Domain Interaction.
|
|
28
29
|
// 46th International Conference on Software Engineering. (ICSE24)
|
|
Binary file
|