Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
☆57Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆21Jun 16, 2026Updated last month
- Assets for the NVIDA RTX Path Tracing SDK☆14Mar 19, 2024Updated 2 years ago
- Main website for Servo.☆14Nov 16, 2020Updated 5 years ago
- Multi-site Network Emulation, Kubeadm-installed Kubernetes, NVMe over Fabrics☆19Feb 8, 2021Updated 5 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Monkey-patch native JavaScript constructor functions☆13Jan 10, 2013Updated 13 years ago
- Dump tool for CLR MDIL assemblies☆16May 10, 2014Updated 12 years ago
- Scripts to get and push Firefox for Android to Google Play Store☆10Jul 16, 2026Updated 3 weeks ago
- DEPRECATED - Migrated to https://github.com/mozilla/fxa☆14Apr 3, 2019Updated 7 years ago
- FindBugs which is forked from official repository at Google code☆16Jun 1, 2015Updated 11 years ago
- An experimental Firefox addon to help diagnose and debug web sites and web apps.☆13Apr 9, 2019Updated 7 years ago
- Documentation for taskcluster components☆15Feb 22, 2019Updated 7 years ago
- A ROP and binary analysis exploit challenge for edurange☆16Mar 4, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Converts `light-` and `dark-` prefixed CSS properties into corresponding light/dark theme globals☆11Jul 5, 2017Updated 9 years ago
- Provides reusable MSBuild tasks and sample Visual Studio tooling for building and debugging Mono AOT compiled binaries☆14Jan 17, 2020Updated 6 years ago
- Modified Create React App for use with Pocket extensions☆19Dec 7, 2022Updated 3 years ago
- DOM fuzzers - not maintained anymore☆17Oct 10, 2019Updated 6 years ago
- Neural Network engine for Veles distributed machine learning platform☆26Jun 7, 2016Updated 10 years ago
- DEPRECATED - TLS regression scanner for Firefox☆19Dec 16, 2022Updated 3 years ago
- INACTIVE - http://mzl.la/ghe-archive - Framboise is a fuzzer for in-depth testing of WebAPIs.☆20Aug 8, 2017Updated 9 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- The Old Syncthing website☆22Oct 24, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Distributed machine learning platform☆13Aug 20, 2015Updated 10 years ago
- Configurable, flexible regex-based APK modification tool.☆37Jun 26, 2017Updated 9 years ago
- Test Units For Kamailio SIP Server☆19Jun 30, 2026Updated last month
- Canonical source for Mozilla Foundation Security Advisories. http://www.mozilla.org/security/announce/☆23Aug 4, 2026Updated last week
- A wrapper over tizen-sdb, implemented using ES6 and along with async/await. This package is mainly used by Appium to perform all sdb oper…☆11Apr 7, 2023Updated 3 years ago
- The ESLint release tool☆29Updated this week
- ☆26Oct 13, 2015Updated 10 years ago
- Dependency version checker for Ember CLI addons☆24Jul 21, 2026Updated 3 weeks ago
- oneHookLibraryIOS☆11Dec 29, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A graphical tool for creation of Java deobfuscation mappings.☆24Nov 12, 2019Updated 6 years ago
- VS Code extension that recommends using the Windows Subsystem for Linux (WSL) and the Remote WSL extension.☆12Mar 30, 2026Updated 4 months ago
- Android Dynamic Binary Instrumentation tool for tracing Android native layer☆318Apr 7, 2023Updated 3 years ago
- A Visual Studio extension to convert packages.config to project.json☆14Dec 17, 2018Updated 7 years ago
- An easy way to contribute to Firefox Accounts☆28Mar 30, 2019Updated 7 years ago
- OAuth server for Firefox Accounts☆49Oct 30, 2018Updated 7 years ago
- MDN Web Docs Product Advisory Board☆28Jun 25, 2026Updated last month