Symbolic Execution Archives - Kali Linux Tutorials

Kali Linux

Maat : Open-source Symbolic Execution Framework

R K - May 28, 2022 0

Kali Linux

Manticore : Symbolic Execution Tool

R K - November 22, 2018 0

APPLICATIONS

Introduction to Cryptography

Kaladmin - June 10, 2022

HExHTTP : Web Security Through Advanced HTTP Header Analysis

Varshini - February 5, 2025

Paragon : Red Team Engagement Platform With The Goal Of Unifying Offensive

R K - May 14, 2021

Lunar : UNIX Security Auditing Tool

R K - October 5, 2022

HOT NEWS

BoobSnail : Allows Generating Excel 4.0 XLM Macro

R K - September 25, 2021 0

Kali Linux

BoobSnail allows generating XLM (Excel 4.0) macro. Its purpose is to support the RedTeam and BlueTeam in XLM macro generation. Features: various infection techniques;various obfuscation...