bcoconni / ValgrindCILinks
A Python package that provides tools to integrate valgrind into your CI workflow
☆22Updated 2 years ago
Alternatives and similar repositories for ValgrindCI
Users that are interested in ValgrindCI are comparing it to the libraries listed below
Sorting:
- Dockerfiles for cross compiling environments☆112Updated 3 years ago
- An RFC5297-compliant C implementation of AES-SIV☆20Updated 5 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 9 months ago
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆43Updated 4 years ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- Verifying constant-time code with symbolic execution☆47Updated 4 years ago
- A collection of useful GDB command extensions written using the GDB python API☆11Updated 7 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- Entity Attestation Token IETF Draft Standard☆20Updated 9 months ago
- ☆120Updated 3 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 4 months ago
- Update of original etrace program.☆68Updated 2 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆40Updated 6 years ago
- ☆12Updated 3 years ago
- Reference implementations of the GIMLI permutation☆15Updated 8 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 5 months ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- Small C tool for Linux filesystem encryption☆142Updated 3 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Updated 5 years ago
- The secure messaging summit information☆20Updated 5 years ago
- Safe integer operation library for C☆17Updated 11 years ago
- Models for authenticated key exchange in Tamarin☆12Updated 6 years ago
- AVX2 Chacha implementation☆16Updated 12 years ago
- Dockerfiles for Clang and LLVM☆108Updated last month
- Gdb Extension Framework is a bunch of python code around the gdb api.☆50Updated 4 years ago
- Implementations of a fast Elliptic-curve Diffie-Hellman primitive☆27Updated 10 years ago
- Elliptic Curve Diffie Hellman with OpenSSL☆11Updated 12 years ago
- GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.☆15Updated 4 years ago
- mirror of elfutils☆10Updated 7 years ago
- A Python wrapper that encapsulates wolfSSL's wolfCrypt API.☆37Updated last month