drzchen/movec external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

drzchen/movec

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/drzchen/movec)

Close

drzchen / movecView on GitHubMore

• External links
• Readme badge

Movec: A Tool for the Monitoring and Verification of C Programs

☆22Mar 9, 2024Updated 2 years ago

Alternatives and similar repositories for movec

Users that are interested in movec are comparing it to the libraries listed below

• enferex / sataniccanary

  View on GitHub
  A GCC plugin implementing various stack canaries.
  ☆14Sep 7, 2012Updated 13 years ago
• Marsman1996 / pocs

  View on GitHub
  to show pocs found
  ☆10Jul 16, 2025Updated 8 months ago
• KRoverSystems / KRover

  View on GitHub
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆33Jun 16, 2024Updated last year
• Jezurko / potato

  View on GitHub
  Experimental MLIR based points-to analysis tool
  ☆18Jan 21, 2026Updated 2 months ago
• BUseclab / FuzzNG

  View on GitHub
  ☆35Jun 5, 2023Updated 2 years ago
• hpc-ulisboa / NDPmulator

  View on GitHub
  A Full-System Framework for Simulating NDP devices from Caches to DRAM
  ☆21Jan 12, 2024Updated 2 years ago
• wangyong1301108 / MMPINN

  View on GitHub
  ☆16Oct 29, 2023Updated 2 years ago
• ETH-IBK-SMECH / PIDyNN

  View on GitHub
  ☆12Jul 12, 2024Updated last year
• mxz297 / dyninst-tools

  View on GitHub
  A collection of command-line tools based on Dyninst
  ☆18Jun 3, 2021Updated 4 years ago
• splatlab / vqf

  View on GitHub
  A fast approximate membership query data structure
  ☆12Jul 16, 2024Updated last year
• Inception-framework / translator

  View on GitHub
  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
• Graspan / graspan-java

  View on GitHub
  This is java implementation of Graspan.
  ☆20Dec 20, 2023Updated 2 years ago
• secure-software-engineering / SootFX

  View on GitHub
  A Static Code Feature Extraction Tool for Java and Android
  ☆21Jun 7, 2023Updated 2 years ago
• ldv-klever / klever

  View on GitHub
  Read-only mirror of the Klever Git repository
  ☆25Feb 12, 2026Updated last month
• ermongroup / lag-fairness

  View on GitHub
  ☆22Feb 25, 2019Updated 7 years ago
• mrd0x / NodeJSTools_LOLBIN

  View on GitHub
  ☆13Nov 24, 2021Updated 4 years ago
• SabaJamilan / Profile-Guided-Software-Prefetching

  View on GitHub
  ☆26Jul 19, 2022Updated 3 years ago
• rstream-system / RStream

  View on GitHub
  ☆24May 23, 2023Updated 2 years ago
• alg-nju / disalg-bib-dict

  View on GitHub
  ☆10Nov 26, 2024Updated last year
• CoCoAbstractInterpretation / CoCo

  View on GitHub
  ☆10Sep 25, 2024Updated last year
• ksen007 / calfuzzer

  View on GitHub
  ☆25Mar 13, 2015Updated 11 years ago
• HITSZ-CDP / cdp-tests

  View on GitHub
  《计算机设计与实践》测试框架
  ☆17Jun 28, 2022Updated 3 years ago
• weimingtom / wmt_ai_study

  View on GitHub
  My AI study
  ☆27Nov 5, 2025Updated 4 months ago
• cuhk-mass / SEPH

  View on GitHub
  ☆17May 26, 2023Updated 2 years ago
• hpides / perma-bench

  View on GitHub
  A benchmarking suite to evaluate the performance of persistent memory access (PerMA-Bench @ VLDB '22)
  ☆20Sep 3, 2022Updated 3 years ago
• didzdissanayaka8 / VI-LOAM_ISLAB

  View on GitHub
  ☆11May 9, 2022Updated 3 years ago
• captainGeech42 / ctf-writeups

  View on GitHub
  Writeups/exploit code for CTFs I've done
  ☆13Aug 29, 2021Updated 4 years ago
• kupl / npex

  View on GitHub
  ☆15Oct 11, 2023Updated 2 years ago
• hiranya911 / mdcc

  View on GitHub
  An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.
  ☆18Mar 16, 2013Updated 13 years ago
• wh5a / gcc-plugin

  View on GitHub
  Some sample code for creating gcc plugins
  ☆22Apr 16, 2010Updated 15 years ago
• HVLearn / HVLearn

  View on GitHub
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated this week
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 2 months ago
• Graspan / graspan-cpp

  View on GitHub
  This is a C++ implementation of Graspan.
  ☆32Dec 20, 2023Updated 2 years ago
• hku-systems / owl

  View on GitHub
  ☆13Mar 1, 2020Updated 6 years ago
• blackfuel / asuswrt-rt-ax88u

  View on GitHub
  AsusWRT RT-AX88U router GPL source code
  ☆14Mar 6, 2020Updated 6 years ago
• EqualityAI / EqualityML

  View on GitHub
  Evidence-based tools and community collaboration to end algorithmic bias, one data scientist at a time.
  ☆35Oct 29, 2023Updated 2 years ago
• moulik-source / CEH-V11-Notes

  View on GitHub
  CEH V11 Notes stay tuned and fork me. All the best for your exams 👍💯💥
  ☆11Dec 1, 2021Updated 4 years ago
• china-net / Internationally-connected

  View on GitHub
  中国的国际网络互联状态介绍
  ☆22Nov 29, 2025Updated 3 months ago
• Ewenwan / ORB-YGZ-SLAM

  View on GitHub
  ORB-SLAM2-IMU-VIO 直接法加速的惯导加持的ORB-SLAM2
  ☆11Nov 21, 2018Updated 7 years ago