GaloisInc/macaw issues and pull requests

#380 - `macaw-base`: Fix `R_X86_64_RELATIVE` offset computation

Pull Request - State: closed - Opened by RyanGlScott 5 months ago - 1 comment

#379 - bump CI actions versions

Pull Request - State: closed - Opened by Ptival 5 months ago

#378 - Show instance for MemSymbol

Pull Request - State: closed - Opened by Ptival 5 months ago

#377 - fix copy-pasted docstring

Pull Request - State: closed - Opened by Ptival 5 months ago

#376 - Update .gitmodules

Pull Request - State: closed - Opened by scogginsnl 6 months ago

#375 - `pltStubSymbols`'s treatment of the `.plt.got` section miscalculates the number of PLT stubs

Issue - State: open - Opened by RyanGlScott 6 months ago - 2 comments
Labels: bug

#374 - `macaw-aarch32`: Define shorthand for ARM registers

Issue - State: open - Opened by RyanGlScott 6 months ago
Labels: enhancement

#373 - add ShowF instance for FloatInfoRepr

Pull Request - State: closed - Opened by Ptival 6 months ago

#372 - Add a `MemoryModelContents` option for not initializing writable global data

Issue - State: open - Opened by langston-barrett 7 months ago - 1 comment

#371 - `macaw-symbolic`: Fix interval bounds in `mkGlobalPointerValidityPred`

Pull Request - State: closed - Opened by RyanGlScott 8 months ago

#370 - {aarch32,x86}-symbolic: A bit more work on exceptions

Pull Request - State: closed - Opened by langston-barrett 8 months ago

#369 - aarch32-symbolic: Export `AArch32Exception`

Issue - State: closed - Opened by langston-barrett 8 months ago

#368 - x86-symbolic: Structured exceptions for missing primitive function semantics

Pull Request - State: closed - Opened by langston-barrett 8 months ago

#367 - x86-symbolic: Create an exception type for missing semantics

Pull Request - State: closed - Opened by langston-barrett 8 months ago

#366 - fix incorrect documentation

Pull Request - State: closed - Opened by Ptival 8 months ago

#365 - Add semantics for prefetch instructions.

Pull Request - State: closed - Opened by andreistefanescu 8 months ago

#364 - minor cleanups

Pull Request - State: closed - Opened by Ptival 9 months ago

#363 - add Pretty instance for NoReturnFunStatus

Pull Request - State: closed - Opened by Ptival 9 months ago

#362 - PC-relative memory reads cause extra function calls to be erroneously introduced

Issue - State: open - Opened by danmatichuk 9 months ago

#361 - Clean up and merge long-running `mctrace` branch

Issue - State: open - Opened by danmatichuk 9 months ago

#360 - Clean up and merge in long-running `pate` branch

Issue - State: open - Opened by danmatichuk 9 months ago

#359 - Replace `MemWord` with `BV`

Issue - State: open - Opened by langston-barrett 9 months ago - 1 comment

#358 - Generalize lazy memory model using `HasMacawLazySimulatorState`

Pull Request - State: closed - Opened by RyanGlScott 9 months ago

#357 - Make the lazy `macaw-symbolic` memory model more extensible

Issue - State: closed - Opened by RyanGlScott 9 months ago
Labels: symbolic-execution

#356 - favor `ArchAddrWidth` over `RegAddrWidth (ArchReg ...)`

Pull Request - State: closed - Opened by Ptival 10 months ago

#355 - Bump Crucible submodule, adapt to crucible-syntax changes

Pull Request - State: closed - Opened by langston-barrett 10 months ago

#354 - derive `Show` for `FunctionArgAnalysisFailure`

Pull Request - State: closed - Opened by Ptival 10 months ago

#353 - remove unused extension

Pull Request - State: closed - Opened by Ptival 10 months ago

#352 - fix typo

Pull Request - State: closed - Opened by Ptival 10 months ago

#351 - `macaw-symbolic`: Implement `MacawFreshSymbolic` for all `macaw` `Type`s

Pull Request - State: closed - Opened by RyanGlScott 10 months ago

#350 - `macaw-ppc`: Don't assume absolute IP addresses when decoding

Pull Request - State: closed - Opened by RyanGlScott 10 months ago

#349 - symbolic-syntax: Syntactic sugar

Issue - State: open - Opened by langston-barrett 10 months ago - 1 comment

#348 - `macaw-base`: Resolve PPC{32,64} relocations

Pull Request - State: closed - Opened by RyanGlScott 11 months ago

#347 - Deduplicate relocation resolution code in `ElfLoader`

Issue - State: open - Opened by RyanGlScott 11 months ago
Labels: enhancement, tech-debt

#346 - symbolic-syntax: Concrete syntax for the remaining Macaw syntax formers

Issue - State: open - Opened by langston-barrett 11 months ago
Labels: enhancement, symbolic-execution

#345 - macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs

Pull Request - State: closed - Opened by langston-barrett 11 months ago - 2 comments

#344 - Concrete syntax for macaw-symbolic CFGs, from ambient-verifier

Issue - State: closed - Opened by langston-barrett 11 months ago

#343 - Link to blog post in docs

Issue - State: open - Opened by langston-barrett 12 months ago
Labels: symbolic-execution, documentation