Skip to content

Issues: GaloisInc/macaw

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

71 Open 51 Closed
71 Open 51 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

aarch32-symbolic: Index for pc arch:aarch32 AArch32 (32 bit ARM) issues symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#440 opened Sep 20, 2024 by langston-barrett
symbolic: Refactor Testing library tech-debt Technical debt that would be nice to clean up testing Issues related to the test suite
#434 opened Sep 4, 2024 by langston-barrett
@langston-barrett
symbolic: Deduplicate mkInitialRegVal across projects symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#432 opened Aug 30, 2024 by langston-barrett
2
symbolic: Modeling the stack symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#430 opened Aug 27, 2024 by langston-barrett
@langston-barrett
4
macaw-symbolic: Fine-grained tracking of machine code–specific bad behavior (à la HasLLVMAnn) enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#429 opened Aug 21, 2024 by RyanGlScott
1
x86-cli: Testcase with some x86_64-specific functionality arch:x86 x86 issues symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#428 opened Aug 20, 2024 by langston-barrett
Consistent directory structure tech-debt Technical debt that would be nice to clean up
#427 opened Aug 20, 2024 by langston-barrett
6 tasks
3
macaw-symbolic: Inconsistent reporting of memory writes to read-only sections of memory bug symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#418 opened Aug 1, 2024 by RyanGlScott
1
macaw-base: ELF loader spuriously warns on binary with overlapping PLT/relocation tables bug
#416 opened Jul 29, 2024 by RyanGlScott
macaw-ppc: Generalize ppc64_linux_info to take a Maybe (TOC w) argument instead of a LoadedBinary arch:ppc PowerPC issues enhancement
#415 opened Jul 29, 2024 by RyanGlScott
Make --save-smt/--save-macaw options accept a directory to create files in enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution testing Issues related to the test suite
#413 opened Jul 26, 2024 by RyanGlScott
1
Allow GenArchVals functions to indicate an error. symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#412 opened Jul 26, 2024 by kquick
Deduplicate AtomWrapper, Repeat, and SymFns code across macaw-*-symbolic packages arch:aarch32 AArch32 (32 bit ARM) issues arch:ppc PowerPC issues arch:riscv RISC-V issues arch:x86 x86 issues symbolic-execution Issues relating to macaw-symbolic and symbolic execution tech-debt Technical debt that would be nice to clean up
#410 opened Jul 26, 2024 by RyanGlScott
add a Pretty or Show instance for CFG.Core.Value enhancement
#408 opened Jul 25, 2024 by Ptival
add a Pretty or Show instance for Macaw CallRegs enhancement
#407 opened Jul 25, 2024 by Ptival
macaw-ppc: Define shorthand for PowerPC registers arch:ppc PowerPC issues enhancement
#402 opened Jul 22, 2024 by RyanGlScott
Inconsistent classification of syscalls with respect to side effects bug
#400 opened Jul 19, 2024 by RyanGlScott
2
Unify the representations of TupleTypeRepr and StructRepr enhancement symbolic-execution Issues relating to macaw-symbolic and symbolic execution tech-debt Technical debt that would be nice to clean up
#396 opened Jul 15, 2024 by RyanGlScott
*-symbolic: Reduce the usage of projectLLVM_bv symbolic-execution Issues relating to macaw-symbolic and symbolic execution tech-debt Technical debt that would be nice to clean up
#395 opened Jul 12, 2024 by langston-barrett
2
symbolic: Improve the semantics of pointer comparisons symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#392 opened Jul 10, 2024 by langston-barrett
1
macaw-symbolic: Simplify doPtrEq symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#388 opened Jul 3, 2024 by langston-barrett
1
Adjust PLT stub heuristics to account for glink in PowerPC arch:ppc PowerPC issues enhancement
#386 opened Jul 1, 2024 by RyanGlScott
pltStubSymbols's treatment of the .plt.got section miscalculates the number of PLT stubs bug
#375 opened Apr 4, 2024 by RyanGlScott
4
macaw-aarch32: Define shorthand for ARM registers arch:aarch32 AArch32 (32 bit ARM) issues enhancement
#374 opened Mar 21, 2024 by RyanGlScott
Add a MemoryModelContents option for not initializing writable global data symbolic-execution Issues relating to macaw-symbolic and symbolic execution
#372 opened Feb 23, 2024 by langston-barrett
1
ProTip! Find all open issues with in progress development work with linked:pr.