Skip to content

Issues: trailofbits/maat

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

21 Open 55 Closed
21 Open 55 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

Switch to trusted publishing
#174 opened Sep 29, 2023 by woodruffw
C++ Documentation Fixes
#166 opened Feb 23, 2023 by luke-croak
1
Maat: Sleigh raised a bad data exception: r0x00000002: Unable to resolve constructor
#165 opened Feb 22, 2023 by PatrickAlphaC
2
Compiling error in env_linux.cpp
#157 opened Nov 7, 2022 by NormalDev
1
Add timeout option in run and run_from methods
#154 opened Oct 20, 2022 by arullier-cs
Add stop_addr option to run and run_from methods
#152 opened Oct 8, 2022 by arullier-cs
Attribute value of mem_access not writable
#151 opened Oct 6, 2022 by arullier-cs
Manipulating info.branch.taken
#150 opened Oct 5, 2022 by arullier-cs
Support simplification of Contraint objects enhancement New feature or request
#143 opened Sep 1, 2022 by Boyan-MILANOV
@Boyan-MILANOV
Support SMT solvers other than z3 enhancement New feature or request
#141 opened Aug 25, 2022 by Boyan-MILANOV
1 of 5 tasks
1
@Boyan-MILANOV
Expose the Arch class in bindings bindings Python bindings Good first issue Good issue to get started and contribute to Maat idea Interesting ideas that aren't really direct feature requests
#98 opened May 13, 2022 by Boyan-MILANOV
1
Crash in maat::ExprITE::hash() due to recursive call stack exhaustion
#94 opened May 6, 2022 by novafacing
3
Improvements needed to run /bin/id from binutils env/emulation Everything related to emulation of the environment (file system, syscalls, library emulation, ...) Good first issue Good issue to get started and contribute to Maat
#93 opened Apr 28, 2022 by thealberto
8
Improve snapshot performance for big traces core Maat core internals
#91 opened Apr 25, 2022 by Boyan-MILANOV
@Boyan-MILANOV
Cache symbolic filesystem when serialising the engine
#84 opened Apr 9, 2022 by Boyan-MILANOV
@Boyan-MILANOV
Expose memory mappings in Python API bindings Python bindings Good first issue Good issue to get started and contribute to Maat
#55 opened Feb 25, 2022 by Boyan-MILANOV
Expose symbolic pointer ValueSet information in info::MemAccess enhancement New feature or request
#18 opened Dec 26, 2021 by Boyan-MILANOV
3 tasks
@Boyan-MILANOV
Test GMP impact on performance core Maat core internals enhancement New feature or request refactoring Code refactoring & restructuration
#16 opened Dec 25, 2021 by Boyan-MILANOV
@Boyan-MILANOV
1
Symbolic pointer read: exclude memory ranges without R flag bug Something isn't working core Maat core internals
#13 opened Dec 25, 2021 by Boyan-MILANOV
@Boyan-MILANOV
Restrain symbolic pointers to certain memory areas core Maat core internals enhancement New feature or request
#9 opened Dec 24, 2021 by Boyan-MILANOV
@Boyan-MILANOV
1
Performance improvements core Maat core internals enhancement New feature or request
#5 opened Dec 20, 2021 by Boyan-MILANOV
@Boyan-MILANOV
ProTip! Follow long discussions with comments:>50.