Windows system utilities to maximize productivity

.NET debugger and assembly editor

Integrate cutting-edge LLM technology quickly and easily into your apps

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. …

Seatbelt is a C# project that performs a number of security oriented host-survey "safety checks" relevant from both offensive and defensive security perspectives.

Dafny is a verification-aware programming language

A self-hosted Fuzzing-As-A-Service platform

.NET IPv4/IPv6 machine-in-the-middle tool for penetration testers

Set of tools to analyze Windows sandboxes for exposed attack surface.

A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats

Command line tracing tool for Windows, based on ETW.

Extended Process Monitor-like tool based on Event Tracing for Windows

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the d…

An instruction trace visualisation tool for dynamic program analysis

Damn Vulnerable Thick Client App

Schillings SwordPhish empowers organisations and engages its employees to establish the key component of any cyber security strategy: the Human Firewall.

Content Security Policy rule collector extension for Fiddler

Enhanced version of the GFlags tool

A library to assist in security-testing Unicode enabled applications during fuzzing, XSS, SQLi, etc.

GSAudit at Symantec, ExeAudit at RIM, RECX Binary Assurance for Windows at Recx etc. - core library now WinBinaryAudit

Private set of tools for game hacking