Assertion: cyclone | /r/HasProperty | safe
Facets:
Source sentences:
text: Cyclone is safe: pure Cyclone programs are not vulnerable to a wide class of bugs that plague C programs: buffer overflows, format string attacks, double free bugs, dangling pointer accesses, etc.