beicause / call-graphLinks
Generate call graph for vscode in svg or graphviz dot.
☆103Updated last year
Alternatives and similar repositories for call-graph
Users that are interested in call-graph are comparing it to the libraries listed below
Sorting:
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆18Updated this week
- Construct approximate static call graph for JavaScript & Typescript☆197Updated 3 years ago
- Interactive Graphviz Dot Preview for Visual Studio Code☆195Updated last year
- Syntax trees for VSCode using tree-sitter☆52Updated 2 weeks ago
- VSCode extension to create dynamic, interactive diagrams from your source code☆64Updated last year
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 6 years ago
- A multi-language tool which parses source code for function definitions and calls☆318Updated last year
- SCIP indexer for TypeScript and JavaScript☆74Updated this week
- Visual Studio Code extension for viewing files and folders in the workspace with size and the estimated gzip size.☆16Updated 4 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- A library for finite automata and regular expressions in the context of JS RegExp☆29Updated last year
- The ELK layout algorithm adapter for Cytoscape.js☆54Updated last year
- Call-graph generator.☆24Updated 7 years ago
- Integrate markmap into VSCode☆278Updated 6 months ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- ☆21Updated 6 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 11 months ago
- Flow graphs for Python☆27Updated 3 years ago
- CFG explorer for binaries☆39Updated last year
- Tutorials and courses for Z3☆95Updated 3 weeks ago
- VSCode extension to add notes to the line of code.☆78Updated last year
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Incremental Build Verification☆15Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- Extract and combine multiple source code views using tree-sitter☆154Updated 3 months ago
- CodeViz: A CallGraph Visualiser☆274Updated 6 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 6 months ago
- RPC messaging library for the VS Code extension platform☆53Updated 10 months ago