GitSocial · Repository PassportCOMPLETED · 2026-10-26Z

SymbolicExecutionDemystified FDlucifer · COMPLETED

Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022

github.com/FDlucifer/SymbolicExecutionDemystified · ★ 1 · Forks 0 · Size 14.9 MB

SUMMARY

Technologies 2
Scored 2
Observed 2
Practices 6
Evidence 2
Skips 0

COVERAGE

Analyzed 8 files · 7 commits · 0 API calls

TECHNOLOGIES & DEPTH

Markdown LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
3 files · PRODUCTION

PRACTICES

documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent

ACTIVITY & OWNERSHIP

First commit 2022-03-21
Last commit 2022-03-26
Active months 1
Commits 7

View on GitHub · GitSocial