Docker Tooling - #855

Open

ingo-budde wants to merge 9 commits into

secure-software-engineering:developmentfrom

ingo-budde:f-DockerTooling

Commits on Aug 7, 2026

Create docker tooling that simplifies installation and usage, create phasar-analyze.sh script that orchestrates several steps required for program analysis.
ingo-budde
committed
81fddcf
Use lld linker in docker tooling
ingo-budde
committed
1c3ceb2
Make phasar-analyze.sh more robust when expected arguments are missing
ingo-budde
committed
6a3c43e
Set /work as workdir in Dockerfile
ingo-budde
committed
5d357da
Mark experimental analyses in USAGE.docker.md
ingo-budde
committed
3b061b4

Commits on Aug 11, 2026

pre-commit
fabianbs96
committed
a00dac5
Some refactoring on the documentation
fabianbs96
committed
6dc3338
minor
fabianbs96
committed
c896857
Merge branch 'development' into f-DockerTooling
fabianbs96
authored
a448879