Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,897 workflow run results
1,897 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use logical AND and not OR for the memory-safety category in witness indentation #7934: Commit 2fb4d74 pushed by mrstanb
September 6, 2023 17:00 4m 30s staging_memsafety
staging_memsafety
September 6, 2023 17:00 4m 30s
Null Byte Array Domain coverage #410: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 7m 59s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 7m 59s
Null Byte Array Domain semgrep #7630: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 52s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 52s
Null Byte Array Domain locked #8203: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 15m 4s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 15m 4s
Null Byte Array Domain options #5952: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 25s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 25s
Null Byte Array Domain indentation #7933: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 4m 24s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 4m 24s
Add quick and dirty workaround attempt for working with options #5951: Commit d4ef555 pushed by mrstanb
September 6, 2023 15:22 29s staging_memsafety
staging_memsafety
September 6, 2023 15:22 29s
Add quick and dirty workaround attempt for working with semgrep #7629: Commit d4ef555 pushed by mrstanb
September 6, 2023 15:22 49s staging_memsafety
staging_memsafety
September 6, 2023 15:22 49s
Add quick and dirty workaround attempt for working with indentation #7932: Commit d4ef555 pushed by mrstanb
September 6, 2023 15:22 4m 18s staging_memsafety
staging_memsafety
September 6, 2023 15:22 4m 18s
Add quick and dirty workaround attempt for working with locked #8202: Commit d4ef555 pushed by mrstanb
September 6, 2023 15:22 34m 56s staging_memsafety
staging_memsafety
September 6, 2023 15:22 34m 56s
Add extra parentheses in witness.ml for memory safety result generation options #5950: Commit 46ae6ee pushed by mrstanb
September 6, 2023 14:44 28s staging_memsafety
staging_memsafety
September 6, 2023 14:44 28s
Add extra parentheses in witness.ml for memory safety result generation indentation #7931: Commit 46ae6ee pushed by mrstanb
September 6, 2023 14:44 3m 53s staging_memsafety
staging_memsafety
September 6, 2023 14:44 3m 53s
Add extra parentheses in witness.ml for memory safety result generation semgrep #7628: Commit 46ae6ee pushed by mrstanb
September 6, 2023 14:44 41s staging_memsafety
staging_memsafety
September 6, 2023 14:44 41s
Add extra parentheses in witness.ml for memory safety result generation locked #8201: Commit 46ae6ee pushed by mrstanb
September 6, 2023 14:44 31m 15s staging_memsafety
staging_memsafety
September 6, 2023 14:44 31m 15s
Null Byte Array Domain semgrep #7627: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 1m 3s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 1m 3s
Null Byte Array Domain indentation #7930: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 3m 35s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 3m 35s
Null Byte Array Domain locked #8200: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 15m 28s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 15m 28s
Null Byte Array Domain options #5949: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 27s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 27s
Null Byte Array Domain coverage #409: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 10m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 10m 5s
Memory Out-Of-Bounds Access Analysis semgrep #7626: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 51s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 51s
Memory Out-Of-Bounds Access Analysis locked #8199: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 31m 49s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 31m 49s
Memory Out-Of-Bounds Access Analysis options #5948: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 21s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 21s
Memory Out-Of-Bounds Access Analysis indentation #7929: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 3m 53s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 3m 53s
Memory Out-Of-Bounds Access Analysis coverage #408: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 25m 47s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 25m 47s
Set the global SV-COMP analysis state vars at all necessary places options #5947: Commit b3d9fe1 pushed by mrstanb
September 6, 2023 09:08 31s staging_memsafety
staging_memsafety
September 6, 2023 09:08 31s