Skip to content

Actions: secure-software-engineering/phasar

Actions

Docker Image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
350 workflow runs
350 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small Enhancements for IFDS Taint Analysis Docker Image #489: Pull request #815 opened by fabianbs96
11m 39s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
11m 39s
Make Compose and Join optional in EdgeFunction Docker Image #488: Pull request #736 synchronize by fabianbs96
10m 53s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
10m 53s
CFL Field Sensitivity Docker Image #487: Pull request #814 synchronize by fabianbs96
18m 33s f-CFLFieldSens
f-CFLFieldSens
18m 33s
CFL Field Sensitivity Docker Image #486: Pull request #814 opened by fabianbs96
11m 47s f-CFLFieldSens
f-CFLFieldSens
11m 47s
Integrate IDESolverAPIMixin into IterativeIDESolver (#813) Docker Image #485: Commit 06e0215 pushed by fabianbs96
12m 39s development
development
12m 39s
Integrate IDESolverAPIMixin into IterativeIDESolver Docker Image #484: Pull request #813 synchronize by fabianbs96
10m 49s fabianbs96:f-UpdateIterIDESolverAPI
fabianbs96:f-UpdateIterIDESolverAPI
10m 49s
Integrate IDESolverAPIMixin into IterativeIDESolver Docker Image #483: Pull request #813 opened by fabianbs96
10m 51s fabianbs96:f-UpdateIterIDESolverAPI
fabianbs96:f-UpdateIterIDESolverAPI
10m 51s
Make Compose and Join optional in EdgeFunction Docker Image #482: Pull request #736 synchronize by fabianbs96
10m 36s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
10m 36s
Make Compose and Join optional in EdgeFunction Docker Image #481: Pull request #736 synchronize by fabianbs96
10m 38s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
10m 38s
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