LazyKLEE 5teven1in · COMPLETED
Lazy python wrapper of KLEE for solving CTF challenges
github.com/5teven1in/LazyKLEE · ★ 0 · Forks 0 · Size 24 KB
SUMMARY
Technologies 3
Scored 3
Observed 3
Practices 6
Evidence 3
Skips 0
COVERAGE
Analyzed 10 files · 25 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
5 files · PRODUCTION
Python LANGUAGE Depth 70
1 files · PRODUCTION
C LANGUAGE Depth 70
4 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2016-10-19
Last commit 2020-10-31
Active months 8
Commits 25