Name		Name	Last commit message	Last commit date
Latest commit History 521 Commits
SRA @ 3da91af		SRA @ 3da91af
scons-tools		scons-tools
tests		tests
.clang-format		.clang-format
.dir-locals.el.in		.dir-locals.el.in
.flake8rc		.flake8rc
.gitignore		.gitignore
.gitmodules		.gitmodules
AnnotationMap.hh		AnnotationMap.hh
Annotator.cc		Annotator.cc
Annotator.hh		Annotator.hh
AnnotatorHelper.cc		AnnotatorHelper.cc
AnnotatorHelper.hh		AnnotatorHelper.hh
AnnotatorSummary.py		AnnotatorSummary.py
Answer.cc		Answer.cc
Answer.hh		Answer.hh
ArgumentReachesValue.cc		ArgumentReachesValue.cc
ArgumentReachesValue.hh		ArgumentReachesValue.hh
ArgumentsReachingValue.hh		ArgumentsReachingValue.hh
BacktrackPhiNodes.cc		BacktrackPhiNodes.cc
BacktrackPhiNodes.hh		BacktrackPhiNodes.hh
BlockSet.hh		BlockSet.hh
CallInstSet.hh		CallInstSet.hh
CheckGetElementPtrVisitor.cc		CheckGetElementPtrVisitor.cc
CheckGetElementPtrVisitor.hh		CheckGetElementPtrVisitor.hh
ElementsReachingValue.hh		ElementsReachingValue.hh
FindLengthChecks.cc		FindLengthChecks.cc
FindLengthChecks.hh		FindLengthChecks.hh
FindLengthLoops.cc		FindLengthLoops.cc
FindLengthLoops.hh		FindLengthLoops.hh
FindSentinelHelper.cc		FindSentinelHelper.cc
FindSentinelHelper.hh		FindSentinelHelper.hh
FindStructElements.cc		FindStructElements.cc
FindStructElements.hh		FindStructElements.hh
GetFunctionNames.py		GetFunctionNames.py
IIGlueReader.cc		IIGlueReader.cc
IIGlueReader.hh		IIGlueReader.hh
LengthInfo.cc		LengthInfo.cc
LengthInfo.hh		LengthInfo.hh
LengthValueReport.hh		LengthValueReport.hh
LengthValueSetMap.hh		LengthValueSetMap.hh
LibraryResults.py		LibraryResults.py
MergeResults.py		MergeResults.py
NameCompare.cc		NameCompare.cc
NameCompare.hh		NameCompare.hh
NoPointerArithmetic.cc		NoPointerArithmetic.cc
NoPointerComparisons.cc		NoPointerComparisons.cc
PatternMatch-extras.hh		PatternMatch-extras.hh
PatternMatchHelper.hh		PatternMatchHelper.hh
ProduceResults.py		ProduceResults.py
README.md		README.md
SConstruct		SConstruct
StructElement.cc		StructElement.cc
StructElement.hh		StructElement.hh
SymbolicRangeTest.cc		SymbolicRangeTest.cc
Vagrantfile		Vagrantfile
ValueReachesValue.cc		ValueReachesValue.cc
ValueReachesValue.hh		ValueReachesValue.hh
ValueSet.hh		ValueSet.hh
ValueSetSet.cc		ValueSetSet.cc
ValueSetSet.hh		ValueSetSet.hh
ValueSetToMaxIndexMap.hh		ValueSetToMaxIndexMap.hh
annotations-to-csv.py		annotations-to-csv.py
answers-clutter.csv		answers-clutter.csv
answers-curl.json		answers-curl.json
answers-dee.json		answers-dee.json
answers-gck.csv		answers-gck.csv
answers-gio.json		answers-gio.json
answers-git2.json		answers-git2.json
answers-glib.json		answers-glib.json
answers-gobject.json		answers-gobject.json
answers-gtk.csv		answers-gtk.csv
answers-libqr.json		answers-libqr.json
answers-libssh2.json		answers-libssh2.json
answers-pkg-config.json		answers-pkg-config.json
answers-telepathy.csv		answers-telepathy.csv
cLibrary.json		cLibrary.json
compare-csv.py		compare-csv.py
convert_tool.py		convert_tool.py
extract-api.py		extract-api.py
fakeLibrary.json		fakeLibrary.json
gir-to-annotations.xsl		gir-to-annotations.xsl
gir-to-iiglue.xsl		gir-to-iiglue.xsl
library.json		library.json
output-dee-nostruct.json		output-dee-nostruct.json
output-dee-overreport.json		output-dee-overreport.json
output-dee-struct.json		output-dee-struct.json
output-dee-underreport.json		output-dee-underreport.json
output-glib-nostruct.json		output-glib-nostruct.json
output-gobject-nostruct.json		output-gobject-nostruct.json
output-gobject-overreport.json		output-gobject-overreport.json
output-gobject-struct.json		output-gobject-struct.json
output-gobject-underreport.json		output-gobject-underreport.json
output-no-struct-info-glib.json		output-no-struct-info-glib.json
output-nostruct.json		output-nostruct.json
output-pkg-nostruct.json		output-pkg-nostruct.json
output-pkg-overreport.json		output-pkg-overreport.json
output-pkg-struct.json		output-pkg-struct.json
output-pkg-underreport.json		output-pkg-underreport.json
output-struct.json		output-struct.json

Repository files navigation

CArrayIntrospection

Run analyses to determine array length invariants.

AlisaMaas/CArrayIntrospection

Folders and files

Latest commit

History