Search Results for "flow based programming"

REDasm is a cross platform disassembler and binary analysis tool, built for both hobbyists and professional reverse engineers. It supports various CPU architectures and executable formats and also offers an interactive listing, control flow graph view, cross-references, string detection and automatic function recovery. [SUPPORTED FILE FORMATS] PE, ELF, MZ, NE, LE, PSX-EXE, PSX-BIOS, XBE (Xbox), ZX Spectrum (SNA, Z80, TAP), iNES (mapper 0 only) [SUPPORTED...

The "Open On-Chip Debugger" provides JTAG/SWD access from GDB (or directly with TCL scripts) to processors with ARM and MIPS based cores. See website for full list of supported targets.

...Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs, control-flow graphs, and various statistics. Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space.

This is a C compiler, assembler, linker and virtual machine for computing based on encrypted working and obfuscated compilation and execution. The idea is that the platform machine `works encrypted' for the user and unencrypted for the operator, running a machine code instruction set in user mode that is provably safe against computational attacks, for code that is generated by a compiler that has introduced random variations into the code at each recompilation so that the attacker has no statistical leverage from human programming biases.

Butterfly programming language. A bytecode compiled scriping language. Bytecode architecture with separate compiler and interpreter/disassembler. Platform-independant bytecode based stackmchine, which has a fine arithmitical/raw-computing performance. B