Skip to content

Actions: SVF-tools/SVF

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
1,020 workflow runs
1,020 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1293 from Qcloud1223/master svf-build #1998: Commit 7d68ccb pushed by yuleisui
December 20, 2023 02:46 13m 41s master
master
December 20, 2023 02:46 13m 41s
consider multiple uses of heap object svf-build #1997: Pull request #1293 opened by Qcloud1223
December 20, 2023 02:30 13m 54s Qcloud1223:master
Qcloud1223:master
December 20, 2023 02:30 13m 54s
Get LLVMContext instance directly from llvm::Module when building SVFModule svf-build #1996: Pull request #1292 opened by Johanmyst
December 19, 2023 15:35 6m 3s Johanmyst:fix_ctx_src
Johanmyst:fix_ctx_src
December 19, 2023 15:35 6m 3s
Add -fno-rtti/fno-exceptions based on LLVM's configuration svf-build #1995: Pull request #1291 opened by Johanmyst
December 19, 2023 15:13 5m 59s Johanmyst:fix_rtti_eh_from_llvm
Johanmyst:fix_rtti_eh_from_llvm
December 19, 2023 15:13 5m 59s
infer number of fields of a heap object svf-build #1994: Pull request #1290 synchronize by yuleisui
December 19, 2023 13:33 14m 25s master
master
December 19, 2023 13:33 14m 25s
infer number of fields of a heap object svf-build #1993: Pull request #1290 opened by yuleisui
December 19, 2023 11:26 6m 15s master
master
December 19, 2023 11:26 6m 15s
Merge pull request #1285 from shuangxiangkan/master svf-build #1992: Commit 0008685 pushed by yuleisui
December 18, 2023 07:59 12m 43s master
master
December 18, 2023 07:59 12m 43s
Fix matching parameters and return values for "OVERWRITE" functions a… svf-build #1991: Pull request #1285 synchronize by shuangxiangkan
December 18, 2023 07:42 13m 0s shuangxiangkan:master
shuangxiangkan:master
December 18, 2023 07:42 13m 0s
Merge pull request #1287 from jiawei-95/new svf-build #1990: Commit e09c431 pushed by yuleisui
December 18, 2023 07:18 15m 47s master
master
December 18, 2023 07:18 15m 47s
add symbolic abstraction svf-build #1989: Pull request #1287 opened by jiawei-95
December 18, 2023 07:01 14m 6s new
new
December 18, 2023 07:01 14m 6s
add RSA svf-build #1988: Pull request #1286 opened by jiawei-95
December 18, 2023 04:51 13m 22s master
master
December 18, 2023 04:51 13m 22s
Fix matching parameters and return values for "OVERWRITE" functions a… svf-build #1987: Pull request #1285 opened by shuangxiangkan
December 18, 2023 02:55 12m 26s shuangxiangkan:master
shuangxiangkan:master
December 18, 2023 02:55 12m 26s
Merge pull request #1284 from bjjwwang/1209 svf-build #1986: Commit 41a1f41 pushed by yuleisui
December 14, 2023 09:14 12m 19s master
master
December 14, 2023 09:14 12m 19s
fix extapi.c and ExtAPI.cpp svf-build #1985: Pull request #1284 opened by bjjwwang
December 13, 2023 23:53 12m 17s bjjwwang:1209
bjjwwang:1209
December 13, 2023 23:53 12m 17s
Merge pull request #1283 from bjjwwang/1209 svf-build #1984: Commit 8122876 pushed by yuleisui
December 13, 2023 01:17 12m 3s master
master
December 13, 2023 01:17 12m 3s
refactor extapi svf-build #1983: Pull request #1283 opened by bjjwwang
December 12, 2023 23:17 13m 29s bjjwwang:1209
bjjwwang:1209
December 12, 2023 23:17 13m 29s
Merge pull request #1282 from jumormt/vfg svf-build #1982: Commit 7e2b3af pushed by yuleisui
December 12, 2023 10:40 12m 18s master
master
December 12, 2023 10:40 12m 18s
(fix issue #1279) connect actual to formal vfgnode for full svfg svf-build #1981: Pull request #1282 opened by jumormt
December 12, 2023 10:21 12m 52s jumormt:vfg
jumormt:vfg
December 12, 2023 10:21 12m 52s
Merge pull request #1281 from Qcloud1223/extapi-break svf-build #1980: Commit a83aec2 pushed by yuleisui
December 12, 2023 03:42 12m 0s master
master
December 12, 2023 03:42 12m 0s
Break when app and extapi module have a match svf-build #1979: Pull request #1281 opened by Qcloud1223
December 12, 2023 02:17 12m 48s Qcloud1223:extapi-break
Qcloud1223:extapi-break
December 12, 2023 02:17 12m 48s
merge the isStrongUpdate in to SVFUtil svf-build #1978: Pull request #1280 synchronize by jumormt
December 12, 2023 00:59 13m 17s jumormt:su
jumormt:su
December 12, 2023 00:59 13m 17s
merge the isStrongUpdate in to SVFUtil svf-build #1977: Pull request #1280 reopened by jumormt
December 12, 2023 00:58 12m 28s jumormt:su
jumormt:su
December 12, 2023 00:58 12m 28s
merge the isStrongUpdate in to SVFUtil svf-build #1976: Pull request #1280 opened by jumormt
December 12, 2023 00:57 5m 42s jumormt:su
jumormt:su
December 12, 2023 00:57 5m 42s
Merge pull request #1276 from bjjwwang/1209 svf-build #1975: Commit ddc27b5 pushed by yuleisui
December 9, 2023 11:26 12m 0s master
master
December 9, 2023 11:26 12m 0s
fix bug json report to build better statistic svf-build #1974: Pull request #1276 opened by bjjwwang
December 9, 2023 11:18 12m 5s bjjwwang:1209
bjjwwang:1209
December 9, 2023 11:18 12m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-12-09 or the other filters available.