PositiveTechnologies / PT.PMLinks
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, and JavaScript are supported. Patterns can be described within the code or using a DSL.
☆60Updated 5 years ago
Alternatives and similar repositories for PT.PM
Users that are interested in PT.PM are comparing it to the libraries listed below
Sorting:
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆250Updated 2 months ago
- Randoop.NET is an API fuzzing unit test generator for .NET libraries.☆47Updated 8 years ago
- .NET implementation of LibProtection library☆33Updated 4 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆13Updated 8 years ago
- Common Compiler Infrastructure☆106Updated 6 years ago
- IL to JavaScript Compiler☆143Updated 11 years ago
- .NET platform plugin. Languages: MSIL, Composite Formatting String☆36Updated this week
- ☆26Updated 5 years ago
- A Visual Studio Code C# IL (Intermediate Language) Viewer☆99Updated 3 years ago
- Public Nitra repository☆552Updated 4 years ago
- Gets size of .Net Framework objects, can change type of object to incompatible and can alloc .Net objects at unmanaged memory area☆110Updated 6 years ago
- Write minidumps of .NET processes with full memory, only CLR heaps, or no memory at all☆223Updated 6 years ago
- Collects network traces of .NET applications.☆92Updated 4 years ago
- Command-line environment a-la WinDbg for executing SOS commands without having SOS available.☆96Updated 3 years ago
- Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …☆41Updated 6 years ago
- Symbolic execution engine for .NET Core☆53Updated last year
- Command-line tool for ETW tracing on files and real-time events☆148Updated 6 years ago
- Go-like DSL for C#☆50Updated 7 years ago
- The specification document for the Static Analysis Results Interchange Format (SARIF)☆57Updated 5 years ago
- ScalableJoins☆16Updated 10 years ago
- Automata and transducer library for .NET☆82Updated 5 years ago
- windbg/dbgeng extension for debugging 64-bit dumps of 32-bit .NET processes.☆83Updated 9 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 3 years ago
- CodeInject - Code Inject and Runtime Intelligence☆145Updated 5 years ago
- Nitra is a language workbench☆148Updated 3 years ago
- Desktop Antlr Grammar Editor☆33Updated 3 years ago
- Research into instant feedback in software engineering☆109Updated 12 years ago
- In-memory event-sourced database engine for NET/Mono☆139Updated 5 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 10 years ago
- Offer an interesting project for PVS-Studio analysis.☆29Updated 2 years ago