Skip to content

Actions: goblint/analyzer

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
84 workflow run results
84 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add unknown thread ID
semgrep #8099: Pull request #1224 synchronize by karoliineh
October 29, 2023 19:20 49s issue-392
October 29, 2023 19:20 49s
Handle top thread when handling thread joins in base
semgrep #8098: Commit 894e618 pushed by karoliineh
October 29, 2023 19:20 47s issue-392
October 29, 2023 19:20 47s
Add unknown thread ID
semgrep #8097: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:20 36s issue-392
October 29, 2023 18:20 36s
October 29, 2023 18:20 49s
Add unknown thread ID
semgrep #8095: Pull request #1224 synchronize by karoliineh
October 29, 2023 18:16 48s issue-392
October 29, 2023 18:16 48s
Join threads with top when joining with int or address
semgrep #8094: Commit 4cb8c97 pushed by karoliineh
October 29, 2023 18:15 37s issue-392
October 29, 2023 18:15 37s
Fix accident in 20 10 test
semgrep #8093: Commit 2c0a08f pushed by karoliineh
October 29, 2023 18:14 52s master
October 29, 2023 18:14 52s
Add unknown thread ID
semgrep #8092: Pull request #1224 synchronize by karoliineh
October 27, 2023 21:19 35s issue-392
October 27, 2023 21:19 35s
Merge branch 'master' into issue-392
semgrep #8091: Commit 05d6d0e pushed by karoliineh
October 27, 2023 21:19 43s issue-392
October 27, 2023 21:19 43s
Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c
semgrep #8090: Commit 6899d44 pushed by karoliineh
October 27, 2023 12:14 46s master
October 27, 2023 12:14 46s
Add unknown thread ID
semgrep #8089: Pull request #1224 opened by karoliineh
October 27, 2023 11:49 46s issue-392
October 27, 2023 11:49 46s
Fix unsoundness on unknown function call with tid as argument
semgrep #8088: Commit 2df7882 pushed by karoliineh
October 27, 2023 09:04 59s issue-392
October 27, 2023 09:04 59s
Use set instead of toppedSet for ThreadSet
semgrep #8087: Commit 192108b pushed by karoliineh
October 26, 2023 18:09 1m 0s issue-392
October 26, 2023 18:09 1m 0s
Add unknown thread ID
semgrep #8086: Commit 0e31b8d pushed by karoliineh
October 26, 2023 17:40 59s issue-392
October 26, 2023 17:40 59s
Merge pull request #1212 from goblint/libfuns-concrat
semgrep #8084: Commit 5a35656 pushed by sim642
October 26, 2023 08:18 1m 1s master
October 26, 2023 08:18 1m 1s
Merge pull request #1222 from goblint/dependabot/github_actions/actio…
semgrep #8083: Commit 03131eb pushed by sim642
October 26, 2023 08:12 1m 2s master
October 26, 2023 08:12 1m 2s
Fix smtprc-tid unsoundness
semgrep #8082: Commit 2a958bd pushed by sim642
October 26, 2023 07:29 1m 8s master
October 26, 2023 07:29 1m 8s
Add some hacky atomic privatizations
semgrep #8080: Pull request #1216 synchronize by sim642
October 20, 2023 15:18 48s priv-atomic
October 20, 2023 15:18 48s
Use relational unprotected invariant for mutex-meet-tid
semgrep #8079: Commit bd533c0 pushed by sim642
October 20, 2023 15:18 42s priv-atomic
October 20, 2023 15:18 42s
Improve names of some global constraint variables
semgrep #8078: Commit 32be7d5 pushed by sim642
October 20, 2023 10:39 45s master
October 20, 2023 10:39 45s
Add some hacky atomic privatizations
semgrep #8077: Pull request #1216 synchronize by sim642
October 20, 2023 09:07 54s priv-atomic
October 20, 2023 09:07 54s
Use threshold widening in Freiburg nondet_inc_with_ghosts
semgrep #8076: Commit e1e0813 pushed by sim642
October 20, 2023 09:07 45s priv-atomic
October 20, 2023 09:07 45s
Add some hacky atomic privatizations
semgrep #8075: Pull request #1216 synchronize by sim642
October 20, 2023 08:57 1m 1s priv-atomic
October 20, 2023 08:57 1m 1s
Add Freiburg nondet_inc_with_ghosts examples
semgrep #8074: Commit 4c54140 pushed by sim642
October 20, 2023 08:57 45s priv-atomic
October 20, 2023 08:57 45s