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

24 Open 225 Closed
24 Open 225 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

Extract: Data.Quant extract making PATE-specific functionality accessible to other projects
#460 opened Dec 11, 2024 by danmatichuk
Fix pretty simplifier to handle stack reads/memory read comparisons
#459 opened Dec 10, 2024 by danmatichuk
Filter set of registers for trace footprints to those that are read/modified
#458 opened Dec 10, 2024 by danmatichuk
1
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! Find all open issues with in progress development work with linked:pr.