GitSocial · Repository PassportCOMPLETED · 2026-10-26Z

manticore FDlucifer · COMPLETED

Symbolic execution tool

github.com/FDlucifer/manticore · ★ 1 · Forks 0 · Size 38.3 MB

SUMMARY

Technologies 12
Scored 12
Observed 12
Practices 6
Evidence 13
Skips 0

COVERAGE

Analyzed 396 files · 1669 commits · 0 API calls

TECHNOLOGIES & DEPTH

Dockerfile LANGUAGE Depth 70
1 files · PRODUCTION
Shell LANGUAGE Depth 70
3 files · PRODUCTION
C LANGUAGE Depth 70
35 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
12 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
7 files · PRODUCTION
Python LANGUAGE Depth 70
179 files · PRODUCTION
Poetry BUILD_TOOL Depth 80
1 files · CONFIGURATION
Jinja2 LIBRARY Depth 62
2 files · PRODUCTION
Redis CACHE Depth 58
1 files · PRODUCTION
TypeScript LANGUAGE Depth 74
10 files · PRODUCTION

PRACTICES

documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · observedformatting · absent

ACTIVITY & OWNERSHIP

First commit 2017-02-13
Last commit 2021-08-03
Active months 56
Commits 1669

View on GitHub · GitSocial