SAFE static analysis tools
☆12Apr 16, 2020Updated 6 years ago
Alternatives and similar repositories for safe
Users that are interested in safe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- differential☆12Oct 30, 2019Updated 6 years ago
- ☆14Jul 12, 2016Updated 10 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- A tiny mailbox for AI agents — one CLI, six backends (GitHub repo, SQLite, S3, GCS, Postgres, local). The repo is the bus.☆17Sep 15, 2026Updated last month
- demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"☆11May 26, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Dec 31, 2019Updated 6 years ago
- This repository contains the tabnine PR agent☆18Updated this week
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 years ago
- Code and dataset for EMNLP 2022 Findings paper "Benchmarking Language Models for Code Syntax Understanding"☆16Oct 24, 2022Updated 4 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- Interactive Source-to-source Transformations for Flow-based Applications☆10Jul 5, 2013Updated 13 years ago
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆19Jun 20, 2017Updated 9 years ago
- ☆21Aug 2, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Examining the conversations on the Linux Kernel Mailing List☆10Feb 8, 2018Updated 8 years ago
- ☆16Jul 22, 2026Updated 3 months ago
- Scripts and Modules for forensical analyses of mysql database systems☆23Sep 19, 2014Updated 12 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Android attempt at PoC CVE-2016-8655☆12Jul 1, 2017Updated 9 years ago
- 程序代码相似度检测方法研究及应用☆12Feb 7, 2020Updated 6 years ago
- Gradescope Autograder Starter Template with C++ Tooling☆12Jan 20, 2020Updated 6 years ago
- Side-channel Analysis☆20May 17, 2022Updated 4 years ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Aug 21, 2021Updated 5 years ago
- China Open Source Ecosystem Report by KAIYUANSHE☆13Feb 8, 2023Updated 3 years ago
- OWASP Droid10 is an opensource handheld system based (android) web application pen testing tool. It can scan for web application vulnera…☆18Jan 23, 2022Updated 4 years ago
- ☆15Mar 24, 2026Updated 7 months ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Feb 14, 2020Updated 6 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆47Jan 26, 2024Updated 2 years ago
- Program error cause finder for C# - research tool☆17Aug 16, 2021Updated 5 years ago
- Pyasmer is a python bytecode manipulation library☆10Nov 20, 2024Updated last year
- 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.
- CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android☆10Feb 13, 2017Updated 9 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆148Jun 26, 2026Updated 4 months ago
- A simple cross-process locking API☆38Mar 23, 2022Updated 4 years ago
- OVAL Documentation☆15Aug 4, 2017Updated 9 years ago
- ☆21Mar 24, 2015Updated 11 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆27Oct 10, 2020Updated 6 years ago