all InfoSec news
Maat - Open-source Symbolic Execution Framework
April 12, 2022, 9:30 p.m. | noreply@blogger.com (Unknown)
KitPloit - PenTest Tools! www.kitploit.com
Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting: https://maat.re
Key features:
- Fast & Portable: Designed to scale to real-world applications. Fully written in C++ for good runtime performance. There are hardly any runtime dependencies, and most of them are optional
- User-friendly: Maat has a flexible debugger-like API, and its features are …
More from www.kitploit.com / KitPloit - PenTest Tools!
Jobs in InfoSec / Cybersecurity
Information Technology Specialist II: Network Architect
@ Los Angeles County Employees Retirement Association (LACERA) | Pasadena, CA
Cybersecurity Skills Challenge -- Sponsored by DoD
@ Correlation One | United States
Security Operations Center (SOC) Analyst
@ GK Cybersecurity Group | Remote
Information Security Officer DIGI
@ Citymesh | Oostkamp, Vlaams Gewest, Belgium
Banking Sector | SOC Analyst
@ Devoteam | Porto, Portugal
Principal Cloud Security Engineer
@ Arctic Wolf | Remote - Minnesota