Skip to content

Issues: GaloisInc/grease

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

53 Open 7 Closed
53 Open 7 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

ci: Publish Haddocks to GitHub Pages documentation Improvements or additions to documentation infrastructure/ci
#56 opened Mar 14, 2025 by langston-barrett
doc: Add comparison to other tools documentation Improvements or additions to documentation
#54 opened Mar 12, 2025 by langston-barrett
Collect some Eq constraints into TestEquality/EqF (or quantified constraints) tech debt Technical debt.
#53 opened Mar 11, 2025 by RyanGlScott
4
Must-fail heuristic interacts poorly with S-expression assume! statement bug Something isn't working
#52 opened Mar 11, 2025 by RyanGlScott
9
"Found a pointer where a bitvector was expected" bug Something isn't working
#51 opened Mar 11, 2025 by RyanGlScott
2
grease erroneously fails on unsafe Rust pointer dereference bug Something isn't working rust soundness
#50 opened Mar 11, 2025 by RyanGlScott
10
Failure to time out during simulation bug Something isn't working
#49 opened Mar 11, 2025 by RyanGlScott
Add overrides for commonly encountered functions in Ubuntu binaries overrides Issues related to function or system call overrides
#48 opened Mar 11, 2025 by RyanGlScott
27 tasks
x86 and PPC: Investigate uninit_stack_conditional test arch/ppc arch/x86_64 bug Something isn't working
#47 opened Mar 11, 2025 by RyanGlScott
6
Don't annotate block numbers
#45 opened Mar 11, 2025 by RyanGlScott
Support GHC 9.10
#44 opened Mar 11, 2025 by RyanGlScott
Fix memory errors as soon as they occur
#43 opened Mar 11, 2025 by RyanGlScott
8
Investigate timeouts for libpng CVE 2019-7317 information needed Issues that require more information in order to take action
#42 opened Mar 11, 2025 by RyanGlScott
crucible: ExecStates between each Crucible statement
#41 opened Mar 11, 2025 by RyanGlScott
--core-dump: Recreate the register/memory state needed to trigger a core dump enhancement New feature or request precision
#40 opened Mar 11, 2025 by RyanGlScott
1
--core-dump: Improve detection of entrypoint functions for core dump addresses enhancement New feature or request ghidra precision
#39 opened Mar 11, 2025 by RyanGlScott
Start a new debugging session on each iteration of the refinement loop
#38 opened Mar 11, 2025 by RyanGlScott
Disable the timeout when running the debugger
#37 opened Mar 11, 2025 by RyanGlScott
Support JSON shape file input
#36 opened Mar 11, 2025 by RyanGlScott
Infer memory shapes from DWARF debug info enhancement New feature or request
#35 opened Mar 11, 2025 by RyanGlScott
2
grease fails to detect out-of-bounds memcpy invocation bug Something isn't working
#34 opened Mar 11, 2025 by RyanGlScott
GREASE does not detect a buffer overflow that overwrites stack variables bug Something isn't working soundness
#33 opened Mar 11, 2025 by RyanGlScott
GREASE does not detect a buffer overflow that overwrites return address bug Something isn't working soundness
#32 opened Mar 11, 2025 by RyanGlScott
Add a small number of PPC64 test cases arch/ppc testing Issues related to the GREASE test suite.
#31 opened Mar 11, 2025 by RyanGlScott
Make it easier to test multiple musl-based cross compilers testing Issues related to the GREASE test suite.
#30 opened Mar 11, 2025 by RyanGlScott
ProTip! What’s not been updated in a month: updated:<2025-02-28.