Skip to content

Actions: secure-software-engineering/phasar

Actions

Docker Image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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