Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
94 workflow run results
94 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain semgrep #7798: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 20:43 51s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 20:43 51s
Null Byte Array Domain semgrep #7797: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 18:59 41s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 18:59 41s
Null Byte Array Domain semgrep #7796: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:45 47s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:45 47s
Null Byte Array Domain semgrep #7795: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:33 56s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:33 56s
fix: copying of files to GobView in projects with subdirectories (#1143) semgrep #7794: Commit 8336d28 pushed by michael-schwarz
September 23, 2023 14:38 43s master
master
September 23, 2023 14:38 43s
fix: copying of files to GobView in projects with subdirectories semgrep #7793: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:27 45s sallto:master
sallto:master
September 23, 2023 14:27 45s
fix: copying of files to GobView in projects with subdirectories semgrep #7792: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:14 48s sallto:master
sallto:master
September 23, 2023 14:14 48s
Merge branch 'master' into cfg-optimize semgrep #7791: Commit b962288 pushed by michael-schwarz
September 23, 2023 14:03 46s cfg-optimize
cfg-optimize
September 23, 2023 14:03 46s
Optimize CFG representation semgrep #7790: Pull request #609 synchronize by michael-schwarz
September 23, 2023 14:02 53s cfg-optimize
cfg-optimize
September 23, 2023 14:02 53s
Remove unused offsets from RegMap domain and eval_exp semgrep #7789: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 45s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 45s
Simplify related_globals semgrep #7788: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 51s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 51s
Restore access Mamory case in regionNonEscape semgrep #7787: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 50s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 50s
Data-race challenges extracted from benchmarks semgrep #7786: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 52s race-challenges
race-challenges
September 21, 2023 10:43 52s
Extract symbolic-thread-struct-tid from chrony semgrep #7785: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 1m 0s race-challenges
race-challenges
September 21, 2023 10:43 1m 0s
Data-race challenges extracted from benchmarks semgrep #7784: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 45s race-challenges
race-challenges
September 21, 2023 07:55 45s
Use cond vars instead of busy loops in race challenges semgrep #7783: Commit e140813 pushed by sim642
September 21, 2023 07:55 52s race-challenges
race-challenges
September 21, 2023 07:55 52s
Support stack-allocating functions when allocating heap vars semgrep #7782: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 56s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 56s
First steps towards a Proof-of-Concept for analyzing threadpools semgrep #7781: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 54s threadpool_poc
threadpool_poc
September 20, 2023 17:40 54s
First steps semgrep #7780: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 53s threadpool_poc
threadpool_poc
September 20, 2023 17:32 53s
Support stack-allocating functions when allocating heap vars semgrep #7779: Pull request #1179 synchronize by mrstanb
September 20, 2023 16:56 51s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:56 51s
Support stack-allocating functions when allocating heap vars semgrep #7778: Pull request #1179 opened by mrstanb
September 20, 2023 16:51 48s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 20, 2023 16:51 48s
Data-race challenges extracted from benchmarks semgrep #7777: Pull request #1178 synchronize by sim642
September 20, 2023 14:47 46s race-challenges
race-challenges
September 20, 2023 14:47 46s
Fix smtprc-tid unsoundness semgrep #7776: Commit 5339d75 pushed by sim642
September 20, 2023 14:47 54s race-challenges
race-challenges
September 20, 2023 14:47 54s
Data-race challenges extracted from benchmarks semgrep #7775: Pull request #1178 synchronize by sim642
September 20, 2023 14:34 49s race-challenges
race-challenges
September 20, 2023 14:34 49s
Fix pthread_argument int dereference in added examples semgrep #7774: Commit 43ec2bb pushed by sim642
September 20, 2023 14:33 1m 3s race-challenges
race-challenges
September 20, 2023 14:33 1m 3s