svf-tools 1.0.280 → 1.0.284

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 (14) hide show
  1. package/Dockerfile +8 -5
  2. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +7 -6
  3. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  4. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +5 -5
  5. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +20 -15
  8. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +1 -1
  9. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +9 -11
  10. package/include/MemoryModel/PersistentPointsToCache.h +1 -1
  11. package/lib/Graphs/ConsG.cpp +1 -2
  12. package/lib/Util/Options.cpp +3 -3
  13. package/lib/WPA/FlowSensitive.cpp +34 -0
  14. package/package.json +1 -1
package/Dockerfile CHANGED
@@ -1,4 +1,7 @@
1
- FROM ubuntu:18.04
1
+ FROM ubuntu:20.04
2
+
3
+ # Stop ubuntu-20 interactive options.
4
+ ENV DEBIAN_FRONTEND noninteractive
2
5
 
3
6
  # Stop script if any individual command fails.
4
7
  RUN set -e
@@ -10,8 +13,8 @@ ENV llvm_version=12.0.0
10
13
  ENV HOME=/home/SVF-tools
11
14
 
12
15
  # Define dependencies.
13
- ENV lib_deps="make g++-8 gcc-8 git zlib1g-dev libncurses5-dev libssl-dev libpcre2-dev zip vim"
14
- ENV build_deps="wget xz-utils cmake python git gdb"
16
+ ENV lib_deps="make g++-8 gcc-8 git zlib1g-dev libncurses5-dev build-essential libssl-dev libpcre2-dev zip vim"
17
+ ENV build_deps="wget xz-utils cmake python git gdb tcl"
15
18
 
16
19
  # Fetch dependencies.
17
20
  RUN apt-get update
@@ -25,9 +28,9 @@ WORKDIR ${HOME}/SVF
25
28
  RUN echo "Building SVF ..."
26
29
  RUN bash ./build.sh
27
30
 
28
- # Export SVF and llvm paths
31
+ # Export SVF, llvm, z3 paths
29
32
  ENV PATH=${HOME}/SVF/Release-build/bin:$PATH
30
33
  ENV PATH=${HOME}/SVF/llvm-$llvm_version.obj/bin:$PATH
31
34
  ENV SVF_DIR=${HOME}/SVF
32
35
  ENV LLVM_DIR=${HOME}/SVF/llvm-$llvm_version.obj
33
-
36
+ ENV Z3_DIR=${HOME}/SVF/z3.obj