This is an archive of the discontinued LLVM Phabricator instance.

Remove Safecode from the homepage
ClosedPublic

Authored by sylvestre.ledru on Oct 18 2019, 12:11 PM.

Reviewers

lattner
tonic

Commits

rL375272: Remove Safecode from the homepage

Summary

Seems not maintained as the download page mentions llvm 3.2 http://safecode.cs.illinois.edu/downloads.html

This is fine.

This revision is now accepted and ready to land.Oct 18 2019, 12:16 PM

Path

Size

7 lines

Context not available.
	properties of functions. A major feature of klee is that it can produce a	properties of functions. A major feature of klee is that it can produce a
	testcase in the event that it detects a bug.</p></li>	testcase in the event that it detects a bug.</p></li>

	<li><p>The <b><a href="http://safecode.cs.illinois.edu">SAFECode</a></b>
	project is a memory safety compiler for C/C++ programs. It instruments
	code with run-time checks to detect memory safety errors (e.g., buffer
	overflows) at run-time. It can be used to protect software from
	security attacks and can also be used as a memory safety error debugging
	tool like Valgrind.</p></li>

	<li><p>The <b><a href="http://lld.llvm.org/">LLD</a></b> project is a new	<li><p>The <b><a href="http://lld.llvm.org/">LLD</a></b> project is a new
	linker. That is a drop-in replacement for system linkers	linker. That is a drop-in replacement for system linkers
	and runs much faster.</p></li>	and runs much faster.</p></li>
Context not available.