The VeloC project takes systems security seriously. If you discover a vulnerability or security bug (such as an unhandled panic in the parser, memory corruption, or unsafe bounds bypass), please follow our responsible disclosure protocol:
- Email Reports: Send a detailed report to
security@veloc-lang.org. - Details to Include:
- VeloC compiler version (
veloc --versionor Git commit hash). - Minimal reproducible
.vcsource file. - Operating system and target CPU details.
- VeloC compiler version (
- Response Timeline:
- Initial acknowledgement within 24 hours.
- Remediation and patch release within 7 days for critical CVEs.
- Minimal Undefined Behavior: VeloC enforces two's complement integer wrapping (
-fwrapv,RULE-UB-001), eliminating undefined integer overflow optimizer traps. - Panic-Free Parsing: The compiler lexer and parser are fuzzed (
veloc fuzz) across thousands of mutated inputs to guarantee zero panics or memory corruption on invalid input. - Stack Protection: The static analyzer (
veloc check) blocks escaping pointers to stack variables.