GitHub - microsoft/checkedc-llvm-test-suite at 56a441343fd8b2ac819ef57f5f7b5010dda64284

microsoft / checkedc-llvm-test-suite Public

Notifications You must be signed in to change notification settings
Fork 17
Star 13

This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

www.microsoft.com/en-us/research/project/checked-c/

View license

13 stars 17 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 4,239 Commits
ABI-Testsuite		ABI-Testsuite
Bitcode		Bitcode
CTMark		CTMark
ClangAnalyzer		ClangAnalyzer
External		External
LLVMSource		LLVMSource
LNTBased		LNTBased
MicroBenchmarks		MicroBenchmarks
MultiSource		MultiSource
SingleSource		SingleSource
autoconf		autoconf
cmake		cmake
litsupport-tests		litsupport-tests
litsupport		litsupport
tools		tools
utils		utils
.arcconfig		.arcconfig
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
CollectDebugInfoUsingLLDB.py		CollectDebugInfoUsingLLDB.py
CompareDebugInfo.py		CompareDebugInfo.py
DiffOutput.sh		DiffOutput.sh
FindMissingLineNo.py		FindMissingLineNo.py
GenerateReport.pl		GenerateReport.pl
HTMLColDiff.pl		HTMLColDiff.pl
HashProgramOutput.sh		HashProgramOutput.sh
LICENSE.TXT		LICENSE.TXT
Makefile		Makefile
Makefile.FORTRAN		Makefile.FORTRAN
Makefile.common		Makefile.common
Makefile.config.in		Makefile.config.in
Makefile.dummylib		Makefile.dummylib
Makefile.f2c		Makefile.f2c
Makefile.nagfortran		Makefile.nagfortran
Makefile.programs		Makefile.programs
Makefile.rules		Makefile.rules
Makefile.tests		Makefile.tests
ModuleInfo.txt		ModuleInfo.txt
ParseMultipleResults		ParseMultipleResults
PrintLineNo.sh		PrintLineNo.sh
README.txt		README.txt
RunSafely.sh		RunSafely.sh
TEST.aa.Makefile		TEST.aa.Makefile
TEST.aa.report		TEST.aa.report
TEST.beta-compare.Makefile		TEST.beta-compare.Makefile
TEST.beta-compare.report		TEST.beta-compare.report
TEST.buildrepo.Makefile		TEST.buildrepo.Makefile
TEST.dbg.Makefile		TEST.dbg.Makefile
TEST.dbg.report		TEST.dbg.report
TEST.dbgopt.Makefile		TEST.dbgopt.Makefile
TEST.dbgopt.report		TEST.dbgopt.report
TEST.example.Makefile		TEST.example.Makefile
TEST.ipodbgopt.Makefile		TEST.ipodbgopt.Makefile
TEST.jit.Makefile		TEST.jit.Makefile
TEST.jit.report		TEST.jit.report
TEST.libcalls.Makefile		TEST.libcalls.Makefile
TEST.libcalls.report		TEST.libcalls.report
TEST.lineinfo.Makefile		TEST.lineinfo.Makefile
TEST.llc.Makefile		TEST.llc.Makefile
TEST.llc.report		TEST.llc.report
TEST.llcdbg.Makefile		TEST.llcdbg.Makefile
TEST.m2regllcdbg.Makefile		TEST.m2regllcdbg.Makefile
TEST.nightly.Makefile		TEST.nightly.Makefile
TEST.nightly.report		TEST.nightly.report
TEST.optllcdbg.Makefile		TEST.optllcdbg.Makefile
TEST.optllcdbg.report		TEST.optllcdbg.report
TEST.simple.Makefile		TEST.simple.Makefile
TEST.simple.report		TEST.simple.report
TEST.typesafe.Makefile		TEST.typesafe.Makefile
TEST.vtl.Makefile		TEST.vtl.Makefile
configure		configure
default.reference_output		default.reference_output
filepp		filepp
instant.txt		instant.txt
lineinfo.xfail		lineinfo.xfail
lit.cfg		lit.cfg
lit.site.cfg.in		lit.site.cfg.in

Repository files navigation

LLVM "test-suite" Repository ---------------------------- Please see the LLVM testing infrastructure guide: https://llvm.org/docs/TestSuiteGuide.html for more information on the contents of this repository.