This is stars and forks stats for /GaloisInc/macaw repository. As of 27 Apr, 2024 this repository has 181 stars and 21 forks.
This is the main repository for the Macaw binary analysis framework with two key goals: binary code discovery and symbolic execution of machine code. This framework is implemented to offer extensible support for architectures (i.e., library clients can add their own architectures and opt in to the architecture support they need). Overview The code discovery algorithm is based on forced execution and is able to discovery code from one or more entry points. Symbols are optional but can significantly...
This is the main repository for the Macaw binary analysis framework with two key goals: binary code discovery and symbolic execution of machine code. This framework is implemented to offer extensible support for architectures (i.e., library clients can add their own architectures and opt in to the architecture support they need). Overview The code discovery algorithm is based on forced execution and is able to discovery code from one or more entry points. Symbols are optional but can significantly...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
cloudposse/terraform-aws-service-control-policies | HCLMakefileGo | 37 | 0 | 20 | 0 |
KhronosGroup/Vulkan-Guide | Makefile | 1.7k | 0 | 148 | 0 |
noahgift/github-actions-demo | MakefilePython | 35 | 0 | 237 | 0 |
pilotmoon/Scroll-Reverser | Objective-CCOther | 2.2k | 0 | 130 | 0 |
colis-anr/morbig | OCamlShellC | 183 | 0 | 8 | 0 |
goblint/analyzer | OCamlCPerl | 135 | 0 | 61 | 0 |
sequencer/playground | ScalaNixMakefile | 65 | 0 | 33 | 0 |
ChiChou/grapefruit | VueTypeScriptJavaScript | 719 | 0 | 66 | 0 |
ApolloAuto/apollo | C++PythonStarlark | 23.4k | 0 | 9.4k | 0 |
stenzek/duckstation | C++CPOV-Ray SDL | 5.3k | 0 | 512 | 0 |