Skip to content

Actions: secure-software-engineering/phasar

Actions

Docker Image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
359 workflow runs
359 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CFL Field Sensitivity Docker Image #498: Pull request #814 synchronize by fabianbs96
11m 9s f-CFLFieldSens
f-CFLFieldSens
11m 9s
CFL Field Sensitivity Docker Image #497: Pull request #814 synchronize by fabianbs96
11m 33s f-CFLFieldSens
f-CFLFieldSens
11m 33s
Small Enhancements for IFDS Taint Analysis (#815) Docker Image #496: Commit 1310d47 pushed by fabianbs96
11m 49s development
development
11m 49s
Small Enhancements for IFDS Taint Analysis Docker Image #495: Pull request #815 synchronize by fabianbs96
17m 1s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
17m 1s
CFL Field Sensitivity Docker Image #494: Pull request #814 synchronize by fabianbs96
22m 23s f-CFLFieldSens
f-CFLFieldSens
22m 23s
Fix EdgeFunction SemiRing (#816) Docker Image #493: Commit 21f761e pushed by fabianbs96
17m 57s development
development
17m 57s
Small Enhancements for IFDS Taint Analysis Docker Image #492: Pull request #815 synchronize by fabianbs96
10m 52s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
10m 52s
Fix EdgeFunction SemiRing Docker Image #491: Pull request #816 opened by fabianbs96
10m 53s f-FixEFSemiRing
f-FixEFSemiRing
10m 53s
Make Compose and Join optional in EdgeFunction Docker Image #490: Pull request #736 synchronize by fabianbs96
11m 17s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
11m 17s
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