Skip to content

Actions: SVF-tools/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,934 workflow runs
1,934 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nullptr dereference detector svf-build #2746: Pull request #1541 synchronize by ethanLin520
October 19, 2024 03:38 Action required bjjwwang:nullderef
bjjwwang:nullderef
October 19, 2024 03:38 Action required
Merge pull request #1572 from jumormt/icfgedge svf-build #2745: Commit 8370e68 pushed by yuleisui
October 15, 2024 09:40 12m 49s master
master
October 15, 2024 09:40 12m 49s
Merge pull request #1572 from jumormt/icfgedge Docker #83: Commit 8370e68 pushed by yuleisui
October 15, 2024 09:40 10m 46s master
master
October 15, 2024 09:40 10m 46s
Merge pull request #1572 from jumormt/icfgedge svf-publish #601: Commit 8370e68 pushed by yuleisui
October 15, 2024 09:40 10m 55s master
master
October 15, 2024 09:40 10m 55s
pages build and deployment pages-build-deployment #981: by yuleisui
October 15, 2024 09:40 47s
October 15, 2024 09:40 47s
remove cast<SVFFunction> in svfcore and refactor ICFGBuilder svf-build #2744: Pull request #1575 opened by jumormt
October 15, 2024 05:03 12m 31s jumormt:10.11
jumormt:10.11
October 15, 2024 05:03 12m 31s
Nullptr dereference detector svf-build #2743: Pull request #1541 synchronize by ethanLin520
October 14, 2024 02:44 Action required bjjwwang:nullderef
bjjwwang:nullderef
October 14, 2024 02:44 Action required
change condition value to svfvar in intracfgedge svf-build #2742: Pull request #1572 opened by jumormt
October 12, 2024 02:05 12m 42s jumormt:icfgedge
jumormt:icfgedge
October 12, 2024 02:05 12m 42s
pages build and deployment pages-build-deployment #980: by github-pages bot
October 11, 2024 08:08 41s
October 11, 2024 08:08 41s
Callgraph (#1570) Docker #82: Commit 5db169c pushed by yuleisui
October 11, 2024 08:02 10m 46s master
master
October 11, 2024 08:02 10m 46s
Callgraph (#1570) svf-build #2741: Commit 5db169c pushed by yuleisui
October 11, 2024 08:02 13m 2s master
master
October 11, 2024 08:02 13m 2s
Callgraph (#1570) svf-publish #600: Commit 5db169c pushed by yuleisui
October 11, 2024 08:02 11m 11s master
master
October 11, 2024 08:02 11m 11s
pages build and deployment pages-build-deployment #979: by yuleisui
October 11, 2024 08:02 39s
October 11, 2024 08:02 39s
Prepare for svf var and callgraphnode downcast refactor svf-build #2740: Pull request #1571 opened by jumormt
October 11, 2024 07:20 13m 38s jumormt:10.11
jumormt:10.11
October 11, 2024 07:20 13m 38s
Callgraph svf-build #2739: Pull request #1570 synchronize by Geoffrey1014
October 11, 2024 06:54 12m 48s Geoffrey1014:callgraph
Geoffrey1014:callgraph
October 11, 2024 06:54 12m 48s
Callgraph svf-build #2737: Pull request #1570 synchronize by Geoffrey1014
October 11, 2024 03:56 13m 7s Geoffrey1014:callgraph
Geoffrey1014:callgraph
October 11, 2024 03:56 13m 7s
Callgraph svf-build #2734: Pull request #1570 synchronize by Geoffrey1014
October 11, 2024 03:29 12m 58s Geoffrey1014:callgraph
Geoffrey1014:callgraph
October 11, 2024 03:29 12m 58s
Nullptr dereference detector svf-build #2733: Pull request #1541 synchronize by ethanLin520
October 11, 2024 02:01 Action required bjjwwang:nullderef
bjjwwang:nullderef
October 11, 2024 02:01 Action required
Nullptr dereference detector svf-build #2732: Pull request #1541 synchronize by ethanLin520
October 11, 2024 01:40 Action required bjjwwang:nullderef
bjjwwang:nullderef
October 11, 2024 01:40 Action required
pages build and deployment pages-build-deployment #978: by github-pages bot
October 10, 2024 00:41 47s
October 10, 2024 00:41 47s
Merge pull request #1566 from jumormt/10.7 svf-build #2726: Commit f9929a7 pushed by yuleisui
October 10, 2024 00:34 13m 18s master
master
October 10, 2024 00:34 13m 18s
Merge pull request #1566 from jumormt/10.7 svf-publish #599: Commit f9929a7 pushed by yuleisui
October 10, 2024 00:34 11m 57s master
master
October 10, 2024 00:34 11m 57s
Merge pull request #1566 from jumormt/10.7 Docker #81: Commit f9929a7 pushed by yuleisui
October 10, 2024 00:34 10m 55s master
master
October 10, 2024 00:34 10m 55s
pages build and deployment pages-build-deployment #977: by yuleisui
October 10, 2024 00:34 42s
October 10, 2024 00:34 42s
move icfg building to llvmmodule svf-build #2725: Pull request #1566 synchronize by jumormt
October 9, 2024 23:37 12m 34s jumormt:10.7
jumormt:10.7
October 9, 2024 23:37 12m 34s