mojtaba-eshghie / SInDi Star 6 Code Issues Pull requests SInDi: Semantic Invariant Differencing for Solidity Smart Contracts smart-contracts solidity invariants difference semantic-analysis rewrite-rules semantic-equivalence equivalence-checker Updated Apr 16, 2025 Python
vishnumani2009 / Quora-duplicate-identification Star 3 Code Issues Pull requests Repository contains semantic equivalence models for duplicate detection. nlp semantic-equivalence duplicate-detection Updated Mar 30, 2017 Jupyter Notebook
Abhi24krishna / Semantic-Code-Clone-Detection Star 2 Code Issues Pull requests Detecting semantically equivalent code clone pairs in two or more code fragments. python3 control-flow-graph live-variable-analysis semantic-equivalence dead-code-elimination reaching-definition-analysis Updated Aug 21, 2021 Jupyter Notebook
sdasgup3 / compd_cache Star 1 Code Issues Pull requests x86-64 llvm z3 instruction-semantics semantic-equivalence mcsema Updated Dec 16, 2019
wjunneng / 2019-Biendata-Problem-Equivalence-Discrimination-Game-Based-On-Adversarial-Attack Star 0 Code Issues Pull requests 2019 Biendata 基于Adversarial Attack的问题等价性判别比赛 bert semantic-equivalence Updated Dec 6, 2019 Python