Skip to content

Actions: SVF-tools/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
997 workflow runs
997 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1595 from jumormt/11.13fix svf-build #2767: Commit d3e99a5 pushed by yuleisui
November 13, 2024 06:34 12m 27s master
master
November 13, 2024 06:34 12m 27s
remove casting to intraicfgnode when allocating branch condition svf-build #2766: Pull request #1595 opened by jumormt
November 13, 2024 06:20 13m 52s jumormt:11.13fix
jumormt:11.13fix
November 13, 2024 06:20 13m 52s
Merge pull request #1594 from jumormt/11.13fix svf-build #2765: Commit 2c256b6 pushed by yuleisui
November 13, 2024 06:12 13m 15s master
master
November 13, 2024 06:12 13m 15s
fix npd issue#1591 svf-build #2764: Pull request #1594 opened by jumormt
November 13, 2024 06:01 13m 27s jumormt:11.13fix
jumormt:11.13fix
November 13, 2024 06:01 13m 27s
Merge pull request #1593 from tttturtle-russ/master svf-build #2763: Commit 64e449c pushed by yuleisui
November 12, 2024 06:26 12m 52s master
master
November 12, 2024 06:26 12m 52s
add funcobjvar svf-build #2761: Pull request #1588 opened by jumormt
November 5, 2024 11:38 13m 16s jumormt:11.5
jumormt:11.5
November 5, 2024 11:38 13m 16s
Create callgraph (#1580) svf-build #2760: Commit 1b11c8c pushed by yuleisui
November 5, 2024 05:06 13m 3s master
master
November 5, 2024 05:06 13m 3s
Create callgraph svf-build #2759: Pull request #1580 synchronize by Geoffrey1014
November 5, 2024 04:50 12m 58s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
November 5, 2024 04:50 12m 58s
Create callgraph svf-build #2758: Pull request #1580 synchronize by Geoffrey1014
November 5, 2024 03:23 13m 12s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
November 5, 2024 03:23 13m 12s
Create callgraph svf-build #2757: Pull request #1580 synchronize by Geoffrey1014
November 4, 2024 12:15 13m 14s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
November 4, 2024 12:15 13m 14s
Create callgraph svf-build #2756: Pull request #1580 synchronize by Geoffrey1014
November 4, 2024 10:09 13m 0s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
November 4, 2024 10:09 13m 0s
Nullptr dereference detector svf-build #2755: Pull request #1541 synchronize by ethanLin520
November 4, 2024 01:35 Action required bjjwwang:nullderef
bjjwwang:nullderef
November 4, 2024 01:35 Action required
Create callgraph svf-build #2754: Pull request #1580 synchronize by Geoffrey1014
October 29, 2024 01:36 13m 3s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
October 29, 2024 01:36 13m 3s
Create callgraph svf-build #2753: Pull request #1580 opened by Geoffrey1014
October 28, 2024 05:07 12m 29s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
October 28, 2024 05:07 12m 29s
Merge pull request #1579 from Geoffrey1014/rename-Callgraph-PTACallGraph svf-build #2752: Commit 2108688 pushed by yuleisui
October 22, 2024 05:30 12m 48s master
master
October 22, 2024 05:30 12m 48s
rename CallGraph to PTACallGraph svf-build #2751: Pull request #1579 opened by Geoffrey1014
October 21, 2024 23:58 13m 0s Geoffrey1014:rename-Callgraph-PTACallGraph
Geoffrey1014:rename-Callgraph-PTACallGraph
October 21, 2024 23:58 13m 0s
rename CallGraph to PTACallGraph svf-build #2750: Pull request #1578 synchronize by Geoffrey1014
October 21, 2024 10:24 6m 45s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
October 21, 2024 10:24 6m 45s
rename CallGraph to PTACallGraph svf-build #2749: Pull request #1578 opened by Geoffrey1014
October 21, 2024 06:01 12m 35s Geoffrey1014:create_PTACallgraph
Geoffrey1014:create_PTACallgraph
October 21, 2024 06:01 12m 35s
refactor icfgbuilder and remove svfvirtualcallinst class svf-build #2748: Pull request #1577 opened by jumormt
October 21, 2024 05:36 12m 37s jumormt:10.21
jumormt:10.21
October 21, 2024 05:36 12m 37s
remove cast<SVFFunction> in svfcore and refactor ICFGBuilder svf-build #2747: Pull request #1575 synchronize by jumormt
October 21, 2024 00:28 1m 22s jumormt:10.11
jumormt:10.11
October 21, 2024 00:28 1m 22s
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
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
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
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