Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
☆56Dec 31, 2018Updated 7 years ago
Alternatives and similar repositories for Dexter
Users that are interested in Dexter are comparing it to the libraries listed below
Sorting:
- Stability Dashboard☆13Updated this week
- Windbg extension port for rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.☆13Sep 8, 2023Updated 2 years ago
- Main website for Servo.☆14Nov 16, 2020Updated 5 years ago
- Modified Create React App for use with Pocket extensions☆19Dec 7, 2022Updated 3 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Laptop browser update service☆19Sep 3, 2020Updated 5 years ago
- It provides animations such as Sprite Animation and Transition Animation to make your applications livelier and richer in texture.☆23Mar 30, 2015Updated 10 years ago
- Robots for checking if things have been delivered☆10Jul 14, 2025Updated 8 months ago
- A ROP and binary analysis exploit challenge for edurange☆16Mar 4, 2015Updated 11 years ago
- An experimental Firefox addon to help diagnose and debug web sites and web apps.☆12Apr 9, 2019Updated 6 years ago
- Core deployment for Crowbar☆17May 31, 2021Updated 4 years ago
- Routines to identify publishers for the BAT. ( deprecated )☆11May 9, 2022Updated 3 years ago
- Auditing behaviour of Android Apps☆38Feb 7, 2017Updated 9 years ago
- Modern publishing for mozilla.org☆21Updated this week
- Taskcluster team planning☆14Jan 30, 2026Updated last month
- MDN Web Docs Product Advisory Board☆28Oct 17, 2025Updated 5 months ago
- DOM fuzzers - not maintained anymore☆17Oct 10, 2019Updated 6 years ago
- Synthesizer for JavaScript API models☆17Apr 7, 2023Updated 2 years ago
- DEPRECATED - TLS regression scanner for Firefox☆19Dec 16, 2022Updated 3 years ago
- Internal tool to manage release builds☆12Sep 19, 2019Updated 6 years ago
- INACTIVE - http://mzl.la/ghe-archive - Framboise is a fuzzer for in-depth testing of WebAPIs.☆20Aug 8, 2017Updated 8 years ago
- Vasum is a Linux daemon and a set of utilities used for managing para-virtualization. It uses Linux Containers to create separate, graphi…☆27Apr 7, 2023Updated 2 years ago
- Configurable, flexible regex-based APK modification tool.☆37Jun 26, 2017Updated 8 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Sep 7, 2022Updated 3 years ago
- This GPU based computer vision software tracks a color-grid pattern at ~60Hz using an Android phone for effective position tracking in VR…☆13Feb 14, 2018Updated 8 years ago
- The Old Syncthing website☆21Oct 24, 2019Updated 6 years ago
- Library for parsing RIFF (Resource Interchange File Format) files☆10Jun 8, 2016Updated 9 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- Reference: LEE Kisung and WON Youjip "Smart layers and dumb result: Io characterization of an android-based smartphone" In EMSOFT 2012: …☆24Oct 19, 2016Updated 9 years ago
- Custom ESLint rules for Discord☆15Jul 11, 2023Updated 2 years ago
- This repository contains the final artifacts from which the project website is served.☆21Updated this week
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Sep 13, 2017Updated 8 years ago
- The ESLint release tool☆28Mar 10, 2026Updated last week
- SYS/BIOS: kernel for Texas Instruments TI-RTOS☆12Jan 21, 2014Updated 12 years ago
- Pintool to detect Read before Write memory access☆21Mar 20, 2013Updated 13 years ago
- Extracting the strings from the .dex files with meaning.☆12Nov 16, 2017Updated 8 years ago
- ☆26Apr 19, 2021Updated 4 years ago
- event shipper for Carbon Black Defense notifications☆10Feb 25, 2023Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆35Jun 17, 2024Updated last year