Skip to content

Issues: GaloisInc/pate

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 223 Closed
22 Open 223 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Collect intermediate traces during widening
#451 opened Oct 2, 2024 by danmatichuk
Conditions are not properly propagated backwards across control flow desync/sync points
#448 opened Sep 11, 2024 by danmatichuk
Nodes are not properly re-queued when propagating conditions across desync points
#447 opened Sep 11, 2024 by danmatichuk
Forward-propagate assumptions/assertions (if possible) to strengthen the analysis enhancement New feature or request
#445 opened Sep 10, 2024 by danmatichuk
Use stack setup code from macaw-symbolic
#444 opened Sep 4, 2024 by langston-barrett
Re-start node processing after introducing an equivalence condition during observables check bug Something isn't working
#443 opened Sep 4, 2024 by danmatichuk
Weaken the stack scoping assumptions to avoid assuming false bug Something isn't working tech debt
#441 opened Sep 3, 2024 by danmatichuk
Write up example interaction between TTY/JSON for constrained equivalence domain counter-example traces
#440 opened Aug 19, 2024 by danmatichuk Provenance of equivalence domain
1
Support simple symbolic constraints in trace constraints format enhancement New feature or request
#436 opened Aug 14, 2024 by danmatichuk
@danmatichuk
1
Allow stubs to declare global data that is propagated across CFARs in order to support condition propagation enhancement New feature or request
#435 opened Aug 14, 2024 by danmatichuk
@danmatichuk
Implicitly start analysis at a given symbol when only one is provided (i.e. -s flag) presentation Related to making verifier output understandable
#434 opened Aug 14, 2024 by danmatichuk
@danmatichuk
Reorganize toplevel result structure to support multiple traces enhancement New feature or request tech debt
#431 opened Aug 13, 2024 by danmatichuk
@danmatichuk
Implicitly constrain symbolic pointers to region 0 when adding offset constraints
#430 opened Aug 13, 2024 by danmatichuk
Equivalence Conditions containing arbitrary values (introduced by stub overrides) cause infinite loop
#421 opened Jul 12, 2024 by danmatichuk
1
Unify equivalence condition simplification in the verifier
#420 opened Jul 10, 2024 by thebendavis
2
Improved support for memory separation enhancement New feature or request
#419 opened Jul 10, 2024 by lcasburn
cabal build makes pate.sh not work
#418 opened Jul 10, 2024 by thebendavis
1
Factor out optimization surrounding array operations into What4 memory model
#416 opened Jul 3, 2024 by lcasburn
@danmatichuk
Infinite loop when nodes related to control flow sync are determined to be infeasible
#407 opened Jun 14, 2024 by lcasburn
@danmatichuk
Investigate issue with grounding counter-example in discovered (spurious) observable inequivalence in target 7 bug Something isn't working
#406 opened Jun 14, 2024 by lcasburn
Review and improve verifier interactive menu items
#396 opened May 24, 2024 by thebendavis
Make demangler overrides configurable
#390 opened May 24, 2024 by thebendavis
ProTip! Adding no:label will show everything without a label.