Skip to content

Actions: secure-software-engineering/phasar

Actions

Docker Image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Concept Interfaces (#811) Docker Image #480: Commit c4ca07a pushed by fabianbs96
12m 18s development
development
12m 18s
Concept Interfaces Docker Image #479: Pull request #811 synchronize by fabianbs96
37m 18s fabianbs96:f-ConceptInterfaces
fabianbs96:f-ConceptInterfaces
37m 18s
Update phasar's SVF bindings to support SVF-3.1 and SVF-3.2 (#812) Docker Image #478: Commit 764550e pushed by fabianbs96
11m 43s development
development
11m 43s
Update phasar's SVF bindings to support SVF-3.1 and SVF-3.2 Docker Image #477: Pull request #812 opened by fabianbs96
10m 41s f-UpdateSVFVersion
f-UpdateSVFVersion
10m 41s
Concept Interfaces Docker Image #476: Pull request #811 opened by fabianbs96
9m 36s fabianbs96:f-ConceptInterfaces
fabianbs96:f-ConceptInterfaces
9m 36s
Fix taint analysis with sret (#810) Docker Image #475: Commit dbeeb6f pushed by fabianbs96
12m 18s development
development
12m 18s
Fix taint analysis with sret Docker Image #474: Pull request #810 opened by fabianbs96
10m 40s f-FixTaintAnalysisWithSRet
f-FixTaintAnalysisWithSRet
10m 40s
Interface Improvements for ProjectIRDB + CallGraph (#807) Docker Image #473: Commit ed815a2 pushed by fabianbs96
11m 33s development
development
11m 33s
Interface Improvements for ProjectIRDB + CallGraph Docker Image #472: Pull request #807 synchronize by fabianbs96
10m 39s fabianbs96:f-MiscChanges
fabianbs96:f-MiscChanges
10m 39s
LLVM 17 Compatibility (#808) Docker Image #471: Commit 70f1394 pushed by fabianbs96
11m 34s development
development
11m 34s
LLVM 17 Compatibility Docker Image #470: Pull request #808 synchronize by fabianbs96
10m 55s f-LLVM17Compat
f-LLVM17Compat
10m 55s
LLVM 17 Compatibility Docker Image #469: Pull request #808 synchronize by fabianbs96
10m 49s f-LLVM17Compat
f-LLVM17Compat
10m 49s
LLVM 17 Compatibility Docker Image #468: Pull request #808 synchronize by fabianbs96
11m 3s f-LLVM17Compat
f-LLVM17Compat
11m 3s
LLVM 17 Compatibility Docker Image #467: Pull request #808 opened by fabianbs96
10m 25s f-LLVM17Compat
f-LLVM17Compat
10m 25s
To solve the compilation errors after supporting llvm-16 (#806) Docker Image #466: Commit 055babd pushed by fabianbs96
11m 33s development
development
11m 33s
Interface Improvements for ProjectIRDB + CallGraph Docker Image #465: Pull request #807 synchronize by fabianbs96
13m 8s fabianbs96:f-MiscChanges
fabianbs96:f-MiscChanges
13m 8s
To solve the compilation errors after supporting llvm-16 Docker Image #464: Pull request #806 synchronize by fabianbs96
12m 44s kynehc:development
kynehc:development
12m 44s
To solve the compilation errors after supporting llvm-16 Docker Image #463: Pull request #806 synchronize by fabianbs96
10m 19s kynehc:development
kynehc:development
10m 19s
Interface Improvements for ProjectIRDB + CallGraph Docker Image #462: Pull request #807 opened by fabianbs96
10m 42s fabianbs96:f-MiscChanges
fabianbs96:f-MiscChanges
10m 42s
Fix VTA call-graph invocation from HelperAnalyses (#805) Docker Image #461: Commit 8007f90 pushed by fabianbs96
11m 59s development
development
11m 59s
To solve the compilation errors after supporting llvm-16 Docker Image #460: Pull request #806 synchronize by kynehc
10m 37s kynehc:development
kynehc:development
10m 37s
To solve the compilation errors after supporting llvm-16 Docker Image #459: Pull request #806 opened by kynehc
10m 55s kynehc:development
kynehc:development
10m 55s
Fix VTA call-graph invocation from HelperAnalyses Docker Image #458: Pull request #805 opened by fabianbs96
10m 49s f-FixVTAHelperAnalyses
f-FixVTAHelperAnalyses
10m 49s
Update README.md Docker Image #457: Commit ad8ff29 pushed by fabianbs96
10m 11s development
development
10m 11s
Update LLVM to 16 (#793) Docker Image #456: Commit 6326dc9 pushed by fabianbs96
11m 47s development
development
11m 47s