issues
search
GaloisInc
/
macaw
Open source binary analysis tools.
BSD 3-Clause "New" or "Revised" License
188
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`symbolic`: Use new Crucible goal-proving helpers
#391
langston-barrett
opened
3 days ago
0
Simple CLI for macaw-symbolic
#390
langston-barrett
opened
3 days ago
0
Simple CLI frontend for `macaw-*-symbolic`
#389
langston-barrett
opened
3 days ago
1
`macaw-symbolic`: Simplify `doPtrEq`
#388
langston-barrett
opened
3 days ago
1
`macaw-ppc-symbolic`: Allow simulating syscalls
#387
RyanGlScott
opened
5 days ago
1
Adjust PLT stub heuristics to account for `glink` in PowerPC
#386
RyanGlScott
opened
5 days ago
0
`macaw-ppc-symbolic`: Export `SemanticsError`
#385
RyanGlScott
opened
2 weeks ago
0
Bump submodules to allow building with `what4-1.6.*`
#384
RyanGlScott
closed
3 weeks ago
0
Update llvm-pretty submodule target
#383
glguy
closed
1 month ago
0
parse subroutine type declaration formal parameters
#382
Ptival
closed
1 month ago
1
Fix refinement panic with parallel CFG edges
#381
staslyakhov
closed
1 month ago
0
`macaw-base`: Fix `R_X86_64_RELATIVE` offset computation
#380
RyanGlScott
closed
2 months ago
1
bump CI actions versions
#379
Ptival
closed
2 months ago
0
Show instance for MemSymbol
#378
Ptival
closed
2 months ago
0
fix copy-pasted docstring
#377
Ptival
closed
2 months ago
0
Update .gitmodules
#376
scogginsnl
closed
3 months ago
0
`pltStubSymbols`'s treatment of the `.plt.got` section miscalculates the number of PLT stubs
#375
RyanGlScott
opened
3 months ago
4
`macaw-aarch32`: Define shorthand for ARM registers
#374
RyanGlScott
opened
3 months ago
0
add ShowF instance for FloatInfoRepr
#373
Ptival
closed
3 months ago
0
Add a `MemoryModelContents` option for not initializing writable global data
#372
langston-barrett
opened
4 months ago
1
`macaw-symbolic`: Fix interval bounds in `mkGlobalPointerValidityPred`
#371
RyanGlScott
closed
5 months ago
0
{aarch32,x86}-symbolic: A bit more work on exceptions
#370
langston-barrett
closed
5 months ago
0
aarch32-symbolic: Export `AArch32Exception`
#369
langston-barrett
closed
5 months ago
0
x86-symbolic: Structured exceptions for missing primitive function semantics
#368
langston-barrett
closed
5 months ago
0
x86-symbolic: Create an exception type for missing semantics
#367
langston-barrett
closed
5 months ago
0
fix incorrect documentation
#366
Ptival
closed
5 months ago
0
Add semantics for prefetch instructions.
#365
andreistefanescu
closed
5 months ago
0
minor cleanups
#364
Ptival
closed
6 months ago
0
add Pretty instance for NoReturnFunStatus
#363
Ptival
closed
6 months ago
0
PC-relative memory reads cause extra function calls to be erroneously introduced
#362
danmatichuk
opened
6 months ago
0
Clean up and merge long-running `mctrace` branch
#361
danmatichuk
opened
6 months ago
0
Clean up and merge in long-running `pate` branch
#360
danmatichuk
opened
6 months ago
0
Replace `MemWord` with `BV`
#359
langston-barrett
opened
6 months ago
1
Generalize lazy memory model using `HasMacawLazySimulatorState`
#358
RyanGlScott
closed
6 months ago
0
Make the lazy `macaw-symbolic` memory model more extensible
#357
RyanGlScott
closed
6 months ago
0
favor `ArchAddrWidth` over `RegAddrWidth (ArchReg ...)`
#356
Ptival
closed
6 months ago
0
Bump Crucible submodule, adapt to crucible-syntax changes
#355
langston-barrett
closed
7 months ago
0
derive `Show` for `FunctionArgAnalysisFailure`
#354
Ptival
closed
7 months ago
0
remove unused extension
#353
Ptival
closed
7 months ago
0
fix typo
#352
Ptival
closed
7 months ago
0
`macaw-symbolic`: Implement `MacawFreshSymbolic` for all `macaw` `Type`s
#351
RyanGlScott
closed
7 months ago
0
`macaw-ppc`: Don't assume absolute IP addresses when decoding
#350
RyanGlScott
closed
7 months ago
0
symbolic-syntax: Syntactic sugar
#349
langston-barrett
opened
7 months ago
1
`macaw-base`: Resolve PPC{32,64} relocations
#348
RyanGlScott
closed
7 months ago
0
Deduplicate relocation resolution code in `ElfLoader`
#347
RyanGlScott
opened
8 months ago
0
symbolic-syntax: Concrete syntax for the remaining Macaw syntax formers
#346
langston-barrett
opened
8 months ago
0
macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs
#345
langston-barrett
closed
8 months ago
2
Concrete syntax for macaw-symbolic CFGs, from ambient-verifier
#344
langston-barrett
closed
8 months ago
0
Link to blog post in docs
#343
langston-barrett
opened
9 months ago
0
fix incorrect documentation
#342
Ptival
closed
9 months ago
0
Next