Search Results for "computer-aided software engineering"

Pwndbg is a fast, simple and lightweight tool for modern debugging. It improves debugging experience with the strength of GDB for low-level software developers, hardware hackers, reverse engineers, and exploit developers. It provides features crucial for efficient debugging in the world of low-level programming. Vanilla GDB is terrible to use for reverse engineering and exploit development. Typing x/g30x $esp is not fun, and does not confer much information. The year is 2024 and GDB still lacks a real hexdump command! ...

URDB is a universal reversible debugger that adds reversibility to almost any debugger through a python-based wrapper. It also supports reversible debugging of distributed computations, and temporal search on expression values.

l3lang is a persistent Python-like language and the l3gui provides a worksheet-like interface where computed values can be examined via simple selection and scripts can be assembled as structures.

File-Spector is a small, fast and easy to use binary file analyzer and Inspector. It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.

FIDe is a software-based fault injector designed to validate Fault-Tolerant mechanisms and techniques used by applications. It was first used to measure database recovery coverage and costs, but can be used to test and validate ordinary applications.

Soto is a graphical message debugger for simpleIPC. In addition to displaying the message traffic between processes, it can log and play back this traffic. Soto also provides the ability to design GUI "panes" that are populated with data from messages.