GitHub - correctcomputation/checkedc-llvm-test-suite: 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.

Status

Currently being used as a development playground for CCI tools.

baseline branch is before checkedc conversion started

Ptrdist: checkedc-llvm-test-suite/MultiSource/Benchmarks/Ptrdist/

Name		Name	Last commit message	Last commit date
CTMark		CTMark
External		External
LLVMSource		LLVMSource
LNTBased		LNTBased
MicroBenchmarks		MicroBenchmarks
MultiSource		MultiSource
SingleSource		SingleSource
autoconf		autoconf
cmake		cmake
docs		docs
include		include
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.md		README.md
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

Navigation Menu

Repository navigation

About

Repository files navigation

Status

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

Status

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages