Contributing

git clone https://github.com/memory-analyzer/memguard.git
cd memguard/memguard_release
python3 -m venv .venv && source .venv/bin/activate
pip install -e ".[dev]"
pip install z3-solver tree-sitter tree-sitter-c

Full pipeline test:

gcc -g -O0 -pthread -o /tmp/server_sim memguard/tests/fixtures/leaky_c/server_sim.c
memguard doctor
memguard memhint memguard/tests/fixtures/leaky_c/
memguard scan /tmp/server_sim --tools valgrind,helgrind,infer
memguard taint <id> --source memguard/tests/fixtures/leaky_c/
memguard harden /tmp/server_sim --scan <id>