Evidence-based dynamic analysis: a fast checker for memory errors.
☆21Apr 22, 2017Updated 8 years ago
Alternatives and similar repositories for DoubleTake
Users that are interested in DoubleTake are comparing it to the libraries listed below
Sorting:
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Jul 6, 2018Updated 7 years ago
- dthreads: Efficient Deterministic Multithreading☆20Sep 24, 2015Updated 10 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- ☆23May 11, 2017Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Framework model for static analysis of Android☆46Jul 13, 2016Updated 9 years ago
- Ecsact tools bundled into an installable SDK☆12Feb 26, 2026Updated last week
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- Generic 2D graphics library for C++14☆28Jan 24, 2025Updated last year
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- A fast parser combinator library, with extra querying goodness☆34Oct 31, 2016Updated 9 years ago
- Exercises and sample code for a C# SIMD (vectorization) workshop☆38Oct 11, 2017Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Apr 17, 2022Updated 3 years ago
- Gandr is a cross-platform bootloader project, intended to fill in the gap of a utopic bootloader.☆20Aug 13, 2015Updated 10 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- Pathtracer pet project. Follow the interesting bits of its development in my blog.☆12Oct 4, 2023Updated 2 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Circular span☆12May 24, 2024Updated last year
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- A binary tree based memory allocator in C.☆11Nov 22, 2017Updated 8 years ago
- CrateDB driver for Rust☆14Aug 16, 2018Updated 7 years ago
- ☆11Nov 22, 2022Updated 3 years ago
- Can I Standardize?☆13Mar 15, 2018Updated 7 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Feb 22, 2017Updated 9 years ago
- Demonstrating why Dynamic Method Invocation with unrestricted method names (the old default of Struts) is dangerous.☆12Sep 30, 2018Updated 7 years ago
- building a game engine using rust-lang from scratch!☆10May 25, 2017Updated 8 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Excel tools，对excel封装让excel导出更简单！ (项目测试范例请参考，test包下的 ExcelTest测试用例)☆13Aug 23, 2017Updated 8 years ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆19Sep 11, 2019Updated 6 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Continuum Dynamics Evaluation and Test Suite☆15Aug 29, 2017Updated 8 years ago