maat

maat copied to clipboard

It seems the site containing some useful documentation is down. https://maat.re/ This is a useful resource, and can hopefully be returned. Even if the site can be returned, adding the...

atredis-jordan

All of our PyPI-packaged projects should use trusted publishing, rather than a manually configured API token. Example trusted publishing workflow: https://github.com/trailofbits/blight/blob/master/.github/workflows/release.yml Resources: * https://docs.pypi.org/trusted-publishers/ * https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/

woodruffw

It doesn't matter if maat was built statically or shared, we always need to find dependencies. Simplify conditionals to just use variable name

ekilmer

This is an automated pull request. It adds a CODEOWNERS file to the repository

artemdinaburg

Update sleigh to 10.2.3

5

Contains some other small fixes/refactor. - [x] Confirm whether the failing test is a new bug or was always a bug - There is a new bug in this PR...

ekilmer

This is a rough integration for usage of vcpkg dependencies. You can build like the following on Linux or macOS: ```bash git clone https://github.com/microsoft/vcpkg export "VCPKG_ROOT=$(pwd)/vcpkg" cmake --preset=dev cmake --build...

ekilmer

Maat: Sleigh raised a bad data exception: r0x00000002: Unable to resolve constructor

2

_[You can also see this question on stack exchange eth](https://ethereum.stackexchange.com/questions/145366/maat-sleigh-raised-a-bad-data-exception-r0x00000002-unable-to-resolve-constru)._ I'm running the [maat](https://maat.re/tutorials/get_started.html) symbolic executor on my Linux instance with the following code. Command I ran to get my...

PatrickAlphaC

C++ Documentation Fixes

1

As I was browsing the C++ documentation on the maat [website](https://maat.re/cpp_api/index.html), I noticed that there were some errors and missing parts to the documentation. The "Get started" example has some...

luke-croak

Compiling error in env_linux.cpp

1

I'm trying to build maat from source on Windows 10 64bit, I'm using MSYS2 to download z3, LIEF and GMP. when running ``` cmake --build build ``` I encounter a...

NormalDev

Added preliminary support for ARMv7

3

What started out as interest in ARMv8 and RISC-V, turned into adding some basic support for ARMv7. Hopefully someone can build off this start.

howtheturntables