Skip to content

Sync to upstream SVF: LLVM 21.1.0, drop deadsnakes PPA #61

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
bjjwwang merged 1 commit into from
May 2, 2026
Merged

Sync to upstream SVF: LLVM 21.1.0, drop deadsnakes PPA #61

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .vscode/tasks.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"type": "shell",
// We assume that SVF is installed under the same folder as Software-Security-Analysis
// You need to change LLVM_DIR, SVF_DIR and Z3_DIR to the correct paths if you installed SVF in a different location.
"command": "cmake -DCMAKE_BUILD_TYPE=Debug -DSVF_DIR=../SVF -DLLVM_DIR=../SVF/llvm-16.0.0.obj -DZ3_DIR=../SVF/z3.obj . && make",
"command": "cmake -DCMAKE_BUILD_TYPE=Debug -DSVF_DIR=../SVF -DLLVM_DIR=../SVF/llvm-21.1.0.obj -DZ3_DIR=../SVF/z3.obj . && make",
"options": {
"cwd": "${workspaceFolder}"
},
Expand Down
15 changes: 7 additions & 8 deletions Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,14 +21,13 @@ ENV build_deps="wget xz-utils git gdb tcl software-properties-common"
RUN apt-get update --fix-missing
RUN apt-get install -y $build_deps $lib_deps

# Add deadsnakes PPA for multiple Python versions
RUN add-apt-repository ppa:deadsnakes/ppa
RUN apt-get update
RUN set -ex; \
apt-get update && apt-get install -y python3.10-dev python3-pip \
&& update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.10 1;
RUN python3 -m pip install pysvf -i https://test.pypi.org/simple/
RUN python3 -m pip install z3-solver
# Use the python3 that ships with the Ubuntu 24.04 base image (python 3.12).
# Avoid pulling python3.10 from ppa:deadsnakes/ppa — Launchpad's PPA infrastructure
# has been intermittently unreachable from CI runners (HTTP 504 / 2-minute timeouts
# from add-apt-repository), and SVF does not pin a Python version.
RUN apt-get install -y python3-dev python3-pip
RUN python3 -m pip install --break-system-packages pysvf -i https://test.pypi.org/simple/
RUN python3 -m pip install --break-system-packages z3-solver

# Fetch and build SVF source.
RUN echo "Downloading LLVM and building SVF to " ${HOME}
Expand Down
Loading