Skip to content

Actions: SVF-tools/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
999 workflow runs
999 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
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
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
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
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
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
move icfg building to llvmmodule svf-build #2724: Pull request #1566 synchronize by jumormt
October 9, 2024 11:52 15m 24s jumormt:10.7
jumormt:10.7
October 9, 2024 11:52 15m 24s
move icfg building to llvmmodule svf-build #2723: Pull request #1566 opened by jumormt
October 9, 2024 08:36 13m 13s jumormt:10.7
jumormt:10.7
October 9, 2024 08:36 13m 13s
Merge pull request #1563 from jumormt/10.7 svf-build #2722: Commit 905d5fe pushed by yuleisui
October 9, 2024 04:40 13m 6s master
master
October 9, 2024 04:40 13m 6s
remove callsite in icfgnode svf-build #2721: Pull request #1563 opened by jumormt
October 8, 2024 04:09 12m 40s jumormt:10.7
jumormt:10.7
October 8, 2024 04:09 12m 40s
move toString/valueOnlyToString to SVFValue.cpp svf-build #2720: Commit 8c70cbe pushed by yuleisui
October 6, 2024 22:55 12m 45s master
master
October 6, 2024 22:55 12m 45s
Merge pull request #1562 from jumormt/fix svf-build #2719: Commit e910a99 pushed by yuleisui
October 6, 2024 09:32 12m 40s master
master
October 6, 2024 09:32 12m 40s
add frontendValueToString svf-build #2718: Pull request #1562 synchronize by jumormt
October 6, 2024 09:26 12m 55s jumormt:fix
jumormt:fix
October 6, 2024 09:26 12m 55s
add frontendValueToString svf-build #2717: Pull request #1562 opened by jumormt
October 6, 2024 07:32 12m 22s jumormt:fix
jumormt:fix
October 6, 2024 07:32 12m 22s
Merge pull request #1561 from jumormt/fix svf-build #2716: Commit 84e517d pushed by yuleisui
October 6, 2024 07:02 12m 22s master
master
October 6, 2024 07:02 12m 22s
remove virtual svf-build #2715: Pull request #1561 opened by jumormt
October 6, 2024 07:01 12m 24s jumormt:fix
jumormt:fix
October 6, 2024 07:01 12m 24s
Callgraph svf-build #2714: Pull request #1560 opened by Geoffrey1014
October 5, 2024 10:53 11m 37s Geoffrey1014:callgraph
Geoffrey1014:callgraph
October 5, 2024 10:53 11m 37s