svf-lib 1.0.2394 → 1.0.2395
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.
|
@@ -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
|