crashappsec / crashappsec/con4m
Control flow analysis
Open
enhancement
p2
- Dominant language
- Nim
- Stars
- 12
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
Do control flow analysis to be able to detect statically when a variable can be referenced before assignment. Right now, this is a runtime error, and it doesn't need to be.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no files, tests, or entry points. Start by locating the compiler's control-flow and variable-assignment analysis, then determine how references before assignment are currently reported at runtime; done means valid cases are accepted and invalid references are detected statically.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- nim
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100