PositiveTechnologies / PT.DocLinks
Positive Technologies public docs (English & Russian)
☆55Updated 4 years ago
Alternatives and similar repositories for PT.Doc
Users that are interested in PT.Doc are comparing it to the libraries listed below
Sorting:
- An engine for searching patterns in the source code, based on Unified AST or UST. At present time C#, Java, PHP, PL/SQL, T-SQL, MySql, a…☆60Updated 5 years ago
- Finding similar repositories on GitHub☆51Updated 3 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆13Updated 8 years ago
- Universal deterministic Levenshtein automata imitation☆20Updated 6 years ago
- Symbolic execution engine for .NET Core☆53Updated last year
- Automata and transducer library for .NET☆82Updated 5 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆20Updated 7 years ago
- A simple tool for detecting near-duplicate source code☆102Updated last year
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.☆56Updated 7 years ago
- Automated unit test generation and precise code analysis for Java☆142Updated 3 months ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 8 years ago
- Java* Fuzzer for Android*☆12Updated 9 years ago
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆35Updated last month
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- ANTLR v4 grammar-based test generator☆415Updated last week
- Git Autocomplete is a Far Manager plugin☆28Updated 8 years ago
- Dynamic Symbolic Execution of Android Apps☆23Updated 10 years ago
- Randoop.NET is an API fuzzing unit test generator for .NET libraries.☆47Updated 8 years ago
- RBKmoney Antifraud Service☆43Updated 2 years ago
- Python parser built using ANTLR☆43Updated 9 years ago
- With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.☆53Updated 2 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 11 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆250Updated 2 months ago
- Learning framework for program property prediction☆218Updated 4 years ago
- An open-source implementation of VsixSignTool.☆40Updated last year
- ☆18Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago