csvitlik / static_analysis_toolsLinks
A list of C static analysis tools
☆12Updated 8 years ago
Alternatives and similar repositories for static_analysis_tools
Users that are interested in static_analysis_tools are comparing it to the libraries listed below
Sorting:
- Tasking 2.0☆16Updated 3 years ago
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- ☆13Updated 6 years ago
- ☆13Updated 2 years ago
- A port of the Google Randen fast backtracking-resistant random generator to the C language.☆27Updated 7 years ago
- A high performance fork-join multi-threading library☆18Updated 8 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year
- A compiler for secure multiparty computation☆50Updated 9 years ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated 2 years ago
- An AES-based 384 bit permutation.☆21Updated 4 months ago
- ☆23Updated 8 months ago
- A small DFA for under 16 states☆51Updated 7 years ago
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 3 years ago
- Implementation of https://www.ietf.org/archive/id/draft-denis-aegis-aead-00.html / https://competitions.cr.yp.to/round3/aegisv11.pdf☆13Updated 5 months ago
- Implementations of do255e and do255s in C and assembly☆25Updated 4 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- C crypto library☆24Updated 2 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- A collection of high-performance crypto implementations.☆52Updated 4 months ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 4 months ago
- Thin interface for libFuzzer, an in-process, coverage-guided, evolutionary fuzzing engine.☆45Updated 2 years ago
- Finalists to the NIST lightweight cryptography competition☆38Updated 3 years ago
- ☆19Updated 5 years ago
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆94Updated this week
- [RFC9380] Hash to curves - Go reference implementation☆21Updated 4 months ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Comparison of leading error-correcting code implementations☆12Updated 3 years ago