Skip to content

Actions: secure-software-engineering/phasar

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CFL Field Sensitivity pre-commit #1409: Pull request #814 synchronize by fabianbs96
27s f-CFLFieldSens
f-CFLFieldSens
27s
CFL Field Sensitivity pre-commit #1408: Pull request #814 synchronize by fabianbs96
28s f-CFLFieldSens
f-CFLFieldSens
28s
Small Enhancements for IFDS Taint Analysis pre-commit #1407: Pull request #815 synchronize by fabianbs96
8m 16s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
8m 16s
CFL Field Sensitivity pre-commit #1406: Pull request #814 synchronize by fabianbs96
12m 44s f-CFLFieldSens
f-CFLFieldSens
12m 44s
Small Enhancements for IFDS Taint Analysis pre-commit #1405: Pull request #815 synchronize by fabianbs96
30s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
30s
Fix EdgeFunction SemiRing pre-commit #1404: Pull request #816 opened by fabianbs96
32s f-FixEFSemiRing
f-FixEFSemiRing
32s
Make Compose and Join optional in EdgeFunction pre-commit #1403: Pull request #736 synchronize by fabianbs96
28s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
28s
Small Enhancements for IFDS Taint Analysis pre-commit #1402: Pull request #815 opened by fabianbs96
36s f-EnhanceIFDSTaintAnalysis
f-EnhanceIFDSTaintAnalysis
36s
Make Compose and Join optional in EdgeFunction pre-commit #1401: Pull request #736 synchronize by fabianbs96
40s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
40s
CFL Field Sensitivity pre-commit #1400: Pull request #814 synchronize by fabianbs96
34s f-CFLFieldSens
f-CFLFieldSens
34s
CFL Field Sensitivity pre-commit #1399: Pull request #814 opened by fabianbs96
32s f-CFLFieldSens
f-CFLFieldSens
32s
Integrate IDESolverAPIMixin into IterativeIDESolver pre-commit #1398: Pull request #813 synchronize by fabianbs96
30s fabianbs96:f-UpdateIterIDESolverAPI
fabianbs96:f-UpdateIterIDESolverAPI
30s
Integrate IDESolverAPIMixin into IterativeIDESolver pre-commit #1397: Pull request #813 opened by fabianbs96
34s fabianbs96:f-UpdateIterIDESolverAPI
fabianbs96:f-UpdateIterIDESolverAPI
34s
Make Compose and Join optional in EdgeFunction pre-commit #1396: Pull request #736 synchronize by fabianbs96
29s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
29s
Make Compose and Join optional in EdgeFunction pre-commit #1395: Pull request #736 synchronize by fabianbs96
32s f-OptionalEFComposeJoin
f-OptionalEFComposeJoin
32s
Concept Interfaces pre-commit #1394: Pull request #811 synchronize by fabianbs96
25s fabianbs96:f-ConceptInterfaces
fabianbs96:f-ConceptInterfaces
25s
Update phasar's SVF bindings to support SVF-3.1 and SVF-3.2 pre-commit #1393: Pull request #812 opened by fabianbs96
29s f-UpdateSVFVersion
f-UpdateSVFVersion
29s
Concept Interfaces pre-commit #1392: Pull request #811 opened by fabianbs96
36s fabianbs96:f-ConceptInterfaces
fabianbs96:f-ConceptInterfaces
36s
Fix taint analysis with sret pre-commit #1391: Pull request #810 opened by fabianbs96
35s f-FixTaintAnalysisWithSRet
f-FixTaintAnalysisWithSRet
35s
Interface Improvements for ProjectIRDB + CallGraph pre-commit #1390: Pull request #807 synchronize by fabianbs96
36s fabianbs96:f-MiscChanges
fabianbs96:f-MiscChanges
36s
LLVM 17 Compatibility pre-commit #1389: Pull request #808 synchronize by fabianbs96
30s f-LLVM17Compat
f-LLVM17Compat
30s
LLVM 17 Compatibility pre-commit #1388: Pull request #808 synchronize by fabianbs96
25s f-LLVM17Compat
f-LLVM17Compat
25s
LLVM 17 Compatibility pre-commit #1387: Pull request #808 synchronize by fabianbs96
28s f-LLVM17Compat
f-LLVM17Compat
28s
LLVM 17 Compatibility pre-commit #1386: Pull request #808 opened by fabianbs96
31s f-LLVM17Compat
f-LLVM17Compat
31s
Interface Improvements for ProjectIRDB + CallGraph pre-commit #1385: Pull request #807 synchronize by fabianbs96
2m 22s fabianbs96:f-MiscChanges
fabianbs96:f-MiscChanges
2m 22s