Giters
GaloisInc
/
reopt
A tool for analyzing x86-64 binaries.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
303
Watchers:
25
Issues:
45
Forks:
26
GaloisInc/reopt Issues
Example from README doesn't run in Docker container
Updated
5 months ago
Comments count
3
Unused `what4` dependency
Closed
6 months ago
Support `float`s in Reopt type inference
Updated
6 months ago
Consider adding a `HasConstraintProvenance` class
Updated
a year ago
`opt` fails on `musl-gcc -static` binary
Updated
a year ago
Limitation: `void` in type signature confuses reopt
Updated
2 years ago
Bug: types need to be quoted in CSV
Updated
2 years ago
Bug: not respecting function return type
Updated
2 years ago
Bug: not reconciling pointer types with external function types nicely
Updated
2 years ago
BVAdd in LLVM is broken
Closed
2 years ago
Incoming type does not match phi's declared type
Closed
2 years ago
Limitation: load does not narrow pointee type to index 0
Closed
2 years ago
Bug: Immediately-recursive pointer type
Closed
2 years ago
Bug: comparisons between pointers and the number zero
Closed
2 years ago
Comments count
2
Bug: pointer constants at join points need be `inttoptr`-cast
Closed
2 years ago
Bug: negative offsets make it into LLVM types
Closed
2 years ago
Limitation: pointer constants in load/store are not `inttoptr`-cast as such
Closed
2 years ago
Comments count
1
Bug: zero-length vector in function argument types in LLVM output
Updated
2 years ago
Comments count
1
Potential bug in `React.useEffect` call
Updated
3 years ago
Support transformations on intermediate LLVM code (.ll)
Closed
3 years ago
Comments count
3
undefined reference to `reopt_*'
Closed
3 years ago
Comments count
1
Fix support/print_startup_info/reopt_print_startup_info.sh
Closed
3 years ago
Comments count
1
Support .rodata common expression elimination
Closed
3 years ago
Comments count
1
Support lld generated executables
Closed
3 years ago
Comments count
1
Error while building reopt
Closed
3 years ago
Comments count
1
Error Building - Prebuilt docker images?
Closed
3 years ago
Comments count
1
Reopt Testing
Updated
3 years ago
cabal: The file does not exist 'exe:reopt'.
Updated
3 years ago
Comments count
1
pre- vs post-reopt ABI
Updated
3 years ago
`git submodule update --init` gives "fatal: Could not read from remote repository."
Closed
4 years ago
Comments count
10
Support lifting printf format strings to LLVM constants
Updated
4 years ago
Error while building reopt
Closed
4 years ago
Comments count
3
Ensure reopt handles _start gracefully
Updated
4 years ago
Floating point flags access
Updated
5 years ago
RepMovs and RepStos data constructors not in scope
Closed
6 years ago
Comments count
2
addMemWrite precision
Closed
6 years ago
Comments count
1
Test relinker
Closed
6 years ago
Comments count
1
Fix bss support
Closed
6 years ago
Comments count
1
Support for MXCSR
Closed
6 years ago
Comments count
1
Fix exec_fst
Closed
6 years ago
Comments count
1
git submodule out of date - macaw-base and flexdis - top level commit missing?
Closed
7 years ago
Comments count
2
Remove fnSize
Closed
7 years ago
Comments count
1
The 'IsValue Expr' implementation of 'bvSlt' is wrong.
Closed
9 years ago
Build with GHC 7.10
Closed
9 years ago
reopt_test
Closed
9 years ago
Comments count
3