Issues
- 0
Conditions are not properly propagated backwards across control flow desync/sync points
#448 opened by danmatichuk - 0
Nodes are not properly re-queued when propagating conditions across desync points
#447 opened by danmatichuk - 0
Forward-propagate assumptions/assertions (if possible) to strengthen the analysis
#445 opened by danmatichuk - 0
- 1
- 1
Equivalence Conditions containing arbitrary values (introduced by stub overrides) cause infinite loop
#421 opened by danmatichuk - 0
Allow stubs to declare global data that is propagated across CFARs in order to support condition propagation
#435 opened by danmatichuk - 3
Define a special-purpose datatype for communicating expressions about symbolic state
#425 opened by danmatichuk - 0
Use stack setup code from `macaw-symbolic`
#444 opened by langston-barrett - 0
Re-start node processing after introducing an equivalence condition during observables check
#443 opened by danmatichuk - 0
- 1
Write up example interaction between TTY/JSON for constrained equivalence domain counter-example traces
#440 opened by danmatichuk - 3
Nondeterministic startup behavior
#438 opened by danmatichuk - 4
Document path directives feature in user manual
#429 opened by lcasburn - 0
- 3
- 0
Implicitly start analysis at a given symbol when only one is provided (i.e. `-s` flag)
#434 opened by danmatichuk - 0
Implicitly constrain symbolic pointers to region 0 when adding offset constraints
#430 opened by danmatichuk - 10
Send simplified list of locations to front end for purposes of providing constraints
#426 opened by danmatichuk - 6
Provide list of variable names & types to front-end
#424 opened by lcasburn - 1
Verify latest MCAD and CM2350-Emulator
#427 opened by jim-carciofini - 5
Add support for arbitrary input for prompts
#422 opened by danmatichuk - 4
- 0
- 0
Review and update .rst docs
#394 opened by thebendavis - 0
Review and update README requirements
#393 opened by thebendavis - 0
Review and update user-manual
#395 opened by thebendavis - 1
cabal build makes pate.sh not work
#418 opened by thebendavis - 2
- 0
Improved support for memory separation
#419 opened by lcasburn - 1
- 2
Assess feasibility of Target1 as an example of a component in a communicating system
#400 opened by thebendavis - 0
- 3
binary ninja plugin: support dark themes
#401 opened by thebendavis - 4
binja: Check for missing sync in target7
#389 opened by thebendavis - 2
Simplify target 7 equivalence condition
#415 opened by jim-carciofini - 5
GHC internal error reported in pate container
#414 opened by thebendavis - 3
Review updated target 7 script & create GUI replay
#403 opened by lcasburn - 0
Infinite loop when nodes related to control flow sync are determined to be infeasible
#407 opened by lcasburn - 0
Investigate issue with grounding counter-example in discovered (spurious) observable inequivalence in target 7
#406 opened by lcasburn - 0
Test control flow alignment with Target7
#402 opened by lcasburn - 0
Investigate issue with assertion propagation in target 7 - issue related to propagating assertions across control flow desync/merge
#405 opened by lcasburn - 4
Generalize and stabilize control flow alignment
#388 opened by thebendavis - 0
- 0
- 0
Make demangler overrides configurable
#390 opened by thebendavis - 2
- 1
- 2
- 0