Skip to content

Pull requests: goblint/analyzer

New pull request New
34 Open 854 Closed
34 Open 854 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Activate abortUnless in svcomp conf
feature pr-dependency Depends or builds on another PR, which should be merged before precision sv-comp
#1464 opened May 14, 2024 by sim642 • Draft
3 tasks
SV-COMP 2025
Fix BaseDomain top priv typo
bug
#1463 opened May 14, 2024 by sim642 Loading…
1
Fix witness enter sync map when caller state changes
bug sv-comp
#1462 opened May 14, 2024 by sim642 • Draft
1 of 2 tasks
SV-COMP 2025
1
@sim642
Making Affine-equalities Sparse
performance time, memory relational
#1460 opened May 14, 2024 by DrMichaelPetter • Draft
1
@DrMichaelPetter
BaseAnalysis: For non-definite AD, join over **all** components not just cpa in set
bug unsound
#1458 opened May 13, 2024 by michael-schwarz Loading… v2.4.0
1
4
Improve autotune for octagon
precision relational sv-comp
#1450 opened May 9, 2024 by karoliineh Loading…
1 task
SV-COMP 2025
2
Port all remaining library functions
cleanup
#1447 opened May 7, 2024 by karoliineh Loading…
1 of 2 tasks
1
Switch from BatEnum to Seq
cleanup
#1443 opened May 3, 2024 by karoliineh Loading…
3 tasks
Widening gas
feature precision student-job
#1442 opened May 3, 2024 by Red-Panda64 Loading…
1
6
Clean up destabilize_vs
cleanup student-job
#1434 opened Apr 25, 2024 by Red-Panda64 Loading…
1
13
Refactor must-locksets to use definite mvals instead of addresses
bug cleanup type-safety unsound
#1430 opened Apr 23, 2024 by sim642 Loading…
4 tasks done
1
Pass ctx to context & Simplify callstring-based approaches
cleanup performance time, memory
#1427 opened Apr 23, 2024 by michael-schwarz Loading…
4 tasks done
v2.4.0
1
9
Type-safe global query system
cleanup type-safety
#1423 opened Apr 22, 2024 by sim642 Loading…
1 of 3 tasks
@sim642
7
Tracking Benchmark Changes for Thesis
benchmarking in progress
#1417 opened Apr 17, 2024 by michael-schwarz • Draft
3
Document implementation-defined behavior following GCC
documentation docs, comments
#1415 opened Apr 17, 2024 by michael-schwarz Loading…
6
Lin2var relations fine-tuning - switching from array to map
performance time, memory
#1412 opened Apr 12, 2024 by DrMichaelPetter Loading…
@DrMichaelPetter
67
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables
feature sv-comp
#1394 opened Mar 14, 2024 by sim642 • Draft
10 of 14 tasks
@sim642
Add semantic loop unrolling analysis
cleanup feature precision sv-comp
#1370 opened Feb 22, 2024 by sim642 • Draft
3 tasks
SV-COMP 2025
Add disjunctive completion of Apron domains
feature precision relational
#1339 opened Jan 26, 2024 by sim642 • Draft
@sim642
2
Enhance detection of buffer overflows by introducing variable for length of array/blob
feature precision relational student-job
#1330 opened Jan 16, 2024 by FungOliver • Draft
3 of 4 tasks
92
Support for inline assembler & goto instructions in inline assembler
feature pr-dependency Depends or builds on another PR, which should be merged before practical-course Practical Course at TUM student-job
#1326 opened Jan 11, 2024 by WernerDrasche Loading… v2.4.0
31
Improve trigonometric abstractions
feature precision
#1272 opened Nov 23, 2023 by stilscher Loading… v2.4.0
20
Add support for CWE-562
feature
#1256 opened Nov 20, 2023 by mrstanb • Draft
@mrstanb
First steps towards a Proof-of-Concept for analyzing threadpools
feature proof-of-concept
#1180 opened Sep 20, 2023 by michael-schwarz • Draft
Selenium
pr-dependency Depends or builds on another PR, which should be merged before student-job testing
#1146 opened Aug 29, 2023 by sallto • Draft
ProTip! Updated in the last three days: updated:>2024-05-11.