bstee615 / tree-climberLinks
Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
☆43Updated this week
Alternatives and similar repositories for tree-climber
Users that are interested in tree-climber are comparing it to the libraries listed below
Sorting:
- Extract and combine multiple source code views using tree-sitter☆152Updated 3 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Updated 9 months ago
- The ISLa (Input Specification Language) language & solver.☆69Updated last year
- ☆25Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Dynamic analysis framework for Python☆76Updated last month
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- DBGBench Website:☆19Updated 4 years ago
- ☆142Updated 2 months ago
- ☆34Updated 3 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Debugging Prototype Avicenna☆10Updated 6 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated 2 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- ☆41Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 3 months ago
- ☆33Updated last week
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆42Updated last year
- A mutation tool for source and IR☆13Updated 6 years ago
- ☆22Updated 5 years ago
- srcML Toolkit☆140Updated last week
- An empirical study on patch correctness☆15Updated 2 years ago
- Lightweight tool for slicing☆35Updated this week
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- Dynamic detection of likely invariants☆229Updated last week
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆37Updated 3 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago