caradoc-org / caradocLinks
A PDF parser and validator
☆310Updated 7 years ago
Alternatives and similar repositories for caradoc
Users that are interested in caradoc are comparing it to the libraries listed below
Sorting:
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- A public database for software and firmware hashes☆215Updated 8 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆437Updated 2 years ago
- repeatedly run programs until they break, and be ready to attach a debugger☆195Updated 6 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆81Updated 8 years ago
- HTTP framework☆48Updated 8 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 3 months ago
- A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…☆291Updated 9 years ago
- A small SSH server written in Go that checks for weak SSH keys☆13Updated 9 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- Structured shrinking of unknown file formats☆96Updated 8 years ago
- Crema: A Sub-Turing Programming Language☆66Updated 10 years ago
- The "Intel x86 considered harmful" paper☆199Updated 9 years ago
- state machine visual debugger☆121Updated 10 years ago
- a multi-syntax language☆136Updated 9 years ago
- chkboot is a tool to help detect changes to an unencrypted /boot partition.☆151Updated 4 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 4 years ago
- Programmer De-anonymization from Binary Executables☆88Updated 7 years ago
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 6 years ago
- Dynamic Visual Debugging / Reverse Engineering Toolsuite☆252Updated 6 years ago
- Open Database of Firmware Test Results☆150Updated 9 years ago
- A libre cross-platform disassembler.☆33Updated 7 years ago
- Sandboxed Execution Environment☆818Updated 4 years ago
- Programmable Dropbox for secure IoT☆70Updated 8 years ago
- minimalistic secure XMPP client in OCaml☆253Updated 11 months ago
- An example of PEG usage☆55Updated 9 years ago