a token-based code clone detection tool
☆29Jan 10, 2023Updated 3 years ago
Alternatives and similar repositories for CCFinderSW
Users that are interested in CCFinderSW are comparing it to the libraries listed below
Sorting:
- ☆14Oct 29, 2021Updated 4 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Jul 26, 2017Updated 8 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- A static analysis tool for Java programs, based on the theory of code property graphs.☆18Mar 27, 2023Updated 2 years ago
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆19Feb 9, 2024Updated 2 years ago
- 数え上げお姉さん https://youtu.be/Q4gTV4r0zRs の愚直実装☆17Dec 2, 2021Updated 4 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Source code clone detection for clones in the Twilight Zone☆23Mar 14, 2022Updated 3 years ago
- A command line tool for TEPRA SR5900P☆33Dec 19, 2023Updated 2 years ago
- Java bindings for LLVM libraries☆31Jun 9, 2013Updated 12 years ago
- Joana - Information Flow Control for Java☆95Dec 22, 2021Updated 4 years ago
- Recovery of Modular Software Architectures with Exact and Heuristic Clustering Methods☆10Jan 29, 2026Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- C++ Source metadata extractor using Eclipse CDT Parser☆38Jul 8, 2015Updated 10 years ago
- Create minimum MCDC test sets for a boolean expression☆46Feb 15, 2021Updated 5 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- ☆11Mar 25, 2021Updated 4 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- A shareable Renovate config for Cybozu☆11Updated this week
- Eroge Music Quiz☆11Feb 22, 2026Updated last week
- ☆11Dec 16, 2021Updated 4 years ago
- Detecting Semantic Code Clones by Building AST-based Markov Chains Model☆10Sep 27, 2024Updated last year
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- 🥅 Capture errors from `defer`'d cleanup functions. Reliably!☆12Nov 21, 2025Updated 3 months ago
- Class File Analyzer (CFA)☆12Sep 24, 2025Updated 5 months ago
- ☆11Jul 4, 2022Updated 3 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Basic Unicode support for Lean 4☆15Updated this week
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago