Public Git Hosting - splint-patched.git/tree

drwxr-xr-x		..
-rw-r--r--	138	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	1321	.splintrc	blob \| blame \| history \| raw
drwxr-xr-x	-	Headers	tree \| history
-rw-r--r--	42	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	16193	Makefile.am	blob \| blame \| history \| raw
-rw-r--r--	8888	Makefile.os2	blob \| blame \| history \| raw
-rw-r--r--	147510	abstract.c	blob \| blame \| history \| raw
-rw-r--r--	17708	aliasTable.c	blob \| blame \| history \| raw
-rw-r--r--	4748	annotationInfo.c	blob \| blame \| history \| raw
-rw-r--r--	1657	annotationTable.c	blob \| blame \| history \| raw
-rw-r--r--	964	bison.head	blob \| blame \| history \| raw
-rw-r--r--	805	bison.reset	blob \| blame \| history \| raw
-rw-r--r--	61629	cgrammar.y	blob \| blame \| history \| raw
-rw-r--r--	18309	checking.c	blob \| blame \| history \| raw
-rw-r--r--	54471	clabstract.c	blob \| blame \| history \| raw
-rw-r--r--	5354	clause.c	blob \| blame \| history \| raw
-rw-r--r--	3676	clauseStack.c	blob \| blame \| history \| raw
-rw-r--r--	28213	constraint.c	blob \| blame \| history \| raw
-rw-r--r--	68571	constraintExpr.c	blob \| blame \| history \| raw
-rw-r--r--	6217	constraintExprData.c	blob \| blame \| history \| raw
-rw-r--r--	69802	constraintGeneration.c	blob \| blame \| history \| raw
-rw-r--r--	15389	constraintList.c	blob \| blame \| history \| raw
-rw-r--r--	39813	constraintResolve.c	blob \| blame \| history \| raw
-rw-r--r--	15951	constraintTerm.c	blob \| blame \| history \| raw
-rw-r--r--	107900	context.c	blob \| blame \| history \| raw
-rw-r--r--	8720	cpperror.c	blob \| blame \| history \| raw
-rw-r--r--	30117	cppexp.c	blob \| blame \| history \| raw
-rw-r--r--	11401	cpphash.c	blob \| blame \| history \| raw
-rw-r--r--	204312	cpplib.c	blob \| blame \| history \| raw
-rw-r--r--	4201	cppmain.c	blob \| blame \| history \| raw
-rw-r--r--	11975	cprim.c	blob \| blame \| history \| raw
-rw-r--r--	21773	cscanner.l	blob \| blame \| history \| raw
-rw-r--r--	64193	cscannerHelp.c	blob \| blame \| history \| raw
-rw-r--r--	19469	cstring.c	blob \| blame \| history \| raw
-rw-r--r--	5165	cstringHash.c	blob \| blame \| history \| raw
-rw-r--r--	7278	cstringList.c	blob \| blame \| history \| raw
-rw-r--r--	5500	cstringSList.c	blob \| blame \| history \| raw
-rw-r--r--	10914	cstringTable.c	blob \| blame \| history \| raw
-rw-r--r--	73794	ctbase.i	blob \| blame \| history \| raw
-rw-r--r--	12825	cttable.i	blob \| blame \| history \| raw
-rw-r--r--	57898	ctype.c	blob \| blame \| history \| raw
-rw-r--r--	3311	ctypeList.c	blob \| blame \| history \| raw
-rw-r--r--	2920	declaratorInvNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3113	declaratorNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3907	ekind.c	blob \| blame \| history \| raw
-rw-r--r--	5500	enumNameList.c	blob \| blame \| history \| raw
-rw-r--r--	1280	enumNameSList.c	blob \| blame \| history \| raw
-rw-r--r--	38562	exprChecks.c	blob \| blame \| history \| raw
-rw-r--r--	15334	exprData.c	blob \| blame \| history \| raw
-rw-r--r--	272814	exprNode.c	blob \| blame \| history \| raw
-rw-r--r--	4537	exprNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3401	exprNodeSList.c	blob \| blame \| history \| raw
-rw-r--r--	2924	fcnNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	7895	fileLib.c	blob \| blame \| history \| raw
-rw-r--r--	21364	fileTable.c	blob \| blame \| history \| raw
-rw-r--r--	18709	fileloc.c	blob \| blame \| history \| raw
-rw-r--r--	6506	filelocList.c	blob \| blame \| history \| raw
-rw-r--r--	4883	filelocStack.c	blob \| blame \| history \| raw
-rw-r--r--	4335	flagMarker.c	blob \| blame \| history \| raw
-rw-r--r--	11963	flagMarkerList.c	blob \| blame \| history \| raw
-rw-r--r--	4548	flagSpec.c	blob \| blame \| history \| raw
-rw-r--r--	50313	flags.c	blob \| blame \| history \| raw
-rw-r--r--	129936	flags.def	blob \| blame \| history \| raw
-rw-r--r--	1475	flex.head	blob \| blame \| history \| raw
-rw-r--r--	887	flex.reset	blob \| blame \| history \| raw
-rw-r--r--	6763	functionClause.c	blob \| blame \| history \| raw
-rw-r--r--	5740	functionClauseList.c	blob \| blame \| history \| raw
-rw-r--r--	6880	functionConstraint.c	blob \| blame \| history \| raw
-rw-r--r--	3015	general.c	blob \| blame \| history \| raw
-rw-r--r--	9991	genericTable.c	blob \| blame \| history \| raw
-rwxr-xr-x	1930	genflagcodes	blob \| blame \| history \| raw
-rw-r--r--	3385	globSet.c	blob \| blame \| history \| raw
-rw-r--r--	2263	globals.c	blob \| blame \| history \| raw
-rw-r--r--	1939	globalsClause.c	blob \| blame \| history \| raw
-rw-r--r--	7419	guardSet.c	blob \| blame \| history \| raw
-rw-r--r--	20430	help.c	blob \| blame \| history \| raw
-rw-r--r--	5325	idDecl.c	blob \| blame \| history \| raw
-rw-r--r--	2671	idDeclList.c	blob \| blame \| history \| raw
-rw-r--r--	2730	importNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	10217	imports.c	blob \| blame \| history \| raw
-rw-r--r--	2914	initDeclNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	8290	inputStream.c	blob \| blame \| history \| raw
-rw-r--r--	3510	intSet.c	blob \| blame \| history \| raw
-rw-r--r--	2842	interfaceNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	5334	lclctypes.c	blob \| blame \| history \| raw
-rw-r--r--	34709	lclinit.c	blob \| blame \| history \| raw
-rw-r--r--	4878	lclscan.c	blob \| blame \| history \| raw
-rw-r--r--	55817	lclscanline.c	blob \| blame \| history \| raw
-rw-r--r--	4114	lclsyntable.c	blob \| blame \| history \| raw
-rw-r--r--	5147	lcltokentable.c	blob \| blame \| history \| raw
-rw-r--r--	2910	letDeclNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	8691	lh.c	blob \| blame \| history \| raw
-rw-r--r--	9422	library.c	blob \| blame \| history \| raw
-rw-r--r--	45861	llerror.c	blob \| blame \| history \| raw
-rw-r--r--	48818	llgrammar.y	blob \| blame \| history \| raw
-rw-r--r--	28420	llmain.c	blob \| blame \| history \| raw
-rw-r--r--	7345	lltok.c	blob \| blame \| history \| raw
-rw-r--r--	13293	loopHeuristics.c	blob \| blame \| history \| raw
-rw-r--r--	2511	lslOpList.c	blob \| blame \| history \| raw
-rw-r--r--	4077	lslOpSet.c	blob \| blame \| history \| raw
-rw-r--r--	8408	lslgrammar.y	blob \| blame \| history \| raw
-rw-r--r--	40530	lslinit.c	blob \| blame \| history \| raw
-rw-r--r--	12347	lslparse.c	blob \| blame \| history \| raw
-rw-r--r--	4079	lslscan.c	blob \| blame \| history \| raw
-rw-r--r--	22937	lslscanline.c	blob \| blame \| history \| raw
-rw-r--r--	4758	lslsyntable.c	blob \| blame \| history \| raw
-rw-r--r--	4052	lsltokentable.c	blob \| blame \| history \| raw
-rw-r--r--	8205	lsymbol.c	blob \| blame \| history \| raw
-rw-r--r--	2253	lsymbolList.c	blob \| blame \| history \| raw
-rw-r--r--	3501	lsymbolSet.c	blob \| blame \| history \| raw
-rw-r--r--	11139	ltoken.c	blob \| blame \| history \| raw
-rw-r--r--	4622	ltokenList.c	blob \| blame \| history \| raw
-rw-r--r--	8335	macrocache.c	blob \| blame \| history \| raw
-rwxr-xr-x	91	maketags	blob \| blame \| history \| raw
-rw-r--r--	2840	mapping.c	blob \| blame \| history \| raw
-rw-r--r--	6142	message.c	blob \| blame \| history \| raw
-rw-r--r--	4596	messageLog.c	blob \| blame \| history \| raw
-rw-r--r--	2098	metaStateConstraint.c	blob \| blame \| history \| raw
-rw-r--r--	4462	metaStateConstraintList.c	blob \| blame \| history \| raw
-rw-r--r--	2874	metaStateExpression.c	blob \| blame \| history \| raw
-rw-r--r--	5997	metaStateInfo.c	blob \| blame \| history \| raw
-rw-r--r--	2561	metaStateSpecifier.c	blob \| blame \| history \| raw
-rw-r--r--	1612	metaStateTable.c	blob \| blame \| history \| raw
-rw-r--r--	3140	misc.c	blob \| blame \| history \| raw
-rw-r--r--	2296	modifiesClause.c	blob \| blame \| history \| raw
-rw-r--r--	3085	mstring.c	blob \| blame \| history \| raw
-rw-r--r--	1837	mtAnnotationDecl.c	blob \| blame \| history \| raw
-rw-r--r--	3741	mtAnnotationList.c	blob \| blame \| history \| raw
-rw-r--r--	1532	mtAnnotationsNode.c	blob \| blame \| history \| raw
-rw-r--r--	8180	mtContextNode.c	blob \| blame \| history \| raw
-rw-r--r--	19063	mtDeclarationNode.c	blob \| blame \| history \| raw
-rw-r--r--	9248	mtDeclarationPiece.c	blob \| blame \| history \| raw
-rw-r--r--	3084	mtDeclarationPieces.c	blob \| blame \| history \| raw
-rw-r--r--	1751	mtDefaultsDecl.c	blob \| blame \| history \| raw
-rw-r--r--	3923	mtDefaultsDeclList.c	blob \| blame \| history \| raw
-rw-r--r--	1574	mtDefaultsNode.c	blob \| blame \| history \| raw
-rw-r--r--	1895	mtLoseReference.c	blob \| blame \| history \| raw
-rw-r--r--	3951	mtLoseReferenceList.c	blob \| blame \| history \| raw
-rw-r--r--	1726	mtMergeClause.c	blob \| blame \| history \| raw
-rw-r--r--	3873	mtMergeClauseList.c	blob \| blame \| history \| raw
-rw-r--r--	2034	mtMergeItem.c	blob \| blame \| history \| raw
-rw-r--r--	1523	mtMergeNode.c	blob \| blame \| history \| raw
-rw-r--r--	2728	mtTransferAction.c	blob \| blame \| history \| raw
-rw-r--r--	2078	mtTransferClause.c	blob \| blame \| history \| raw
-rw-r--r--	4001	mtTransferClauseList.c	blob \| blame \| history \| raw
-rw-r--r--	1614	mtValuesNode.c	blob \| blame \| history \| raw
-rw-r--r--	11645	mtgrammar.y	blob \| blame \| history \| raw
-rw-r--r--	2711	mtreader.c	blob \| blame \| history \| raw
-rw-r--r--	9962	mtscanner.c	blob \| blame \| history \| raw
-rw-r--r--	4376	mttok.c	blob \| blame \| history \| raw
-rw-r--r--	8500	multiVal.c	blob \| blame \| history \| raw
-rw-r--r--	34618	nameChecks.c	blob \| blame \| history \| raw
-rw-r--r--	27735	osd.c	blob \| blame \| history \| raw
-rw-r--r--	2698	pairNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3648	paramNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3166	pointers.c	blob \| blame \| history \| raw
-rw-r--r--	2634	programNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	5251	qtype.c	blob \| blame \| history \| raw
-rw-r--r--	8558	qual.c	blob \| blame \| history \| raw
-rw-r--r--	4459	qualList.c	blob \| blame \| history \| raw
-rw-r--r--	3048	quantifierNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	4495	rcfiles.c	blob \| blame \| history \| raw
-rw-r--r--	4202	reader.c	blob \| blame \| history \| raw
-rw-r--r--	2739	replaceNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	4738	reservedNames.c	blob \| blame \| history \| raw
-rw-r--r--	219073	sRef.c	blob \| blame \| history \| raw
-rw-r--r--	17983	sRefSet.c	blob \| blame \| history \| raw
-rw-r--r--	2397	sRefSetList.c	blob \| blame \| history \| raw
-rw-r--r--	3535	sRefTable.c	blob \| blame \| history \| raw
-rw-r--r--	2346	shift.c	blob \| blame \| history \| raw
-rw-r--r--	4589	sigNodeSet.c	blob \| blame \| history \| raw
-rw-r--r--	79713	sort.c	blob \| blame \| history \| raw
-rw-r--r--	2983	sortList.c	blob \| blame \| history \| raw
-rw-r--r--	4550	sortSet.c	blob \| blame \| history \| raw
-rw-r--r--	3243	sortSetList.c	blob \| blame \| history \| raw
-rw-r--r--	3031	stDeclNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	19366	stateClause.c	blob \| blame \| history \| raw
-rw-r--r--	11329	stateClauseList.c	blob \| blame \| history \| raw
-rw-r--r--	4994	stateCombinationTable.c	blob \| blame \| history \| raw
-rw-r--r--	13220	stateInfo.c	blob \| blame \| history \| raw
-rw-r--r--	4488	stateValue.c	blob \| blame \| history \| raw
-rw-r--r--	3311	storeRefNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3615	structNames.c	blob \| blame \| history \| raw
-rw-r--r--	48722	symtable.c	blob \| blame \| history \| raw
-rw-r--r--	5146	termNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	2806	traitRefNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	107037	transferChecks.c	blob \| blame \| history \| raw
-rw-r--r--	6323	typeIdSet.c	blob \| blame \| history \| raw
-rw-r--r--	2761	typeNameNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	266888	uentry.c	blob \| blame \| history \| raw
-rw-r--r--	17254	uentryList.c	blob \| blame \| history \| raw
-rw-r--r--	7142	usymIdSet.c	blob \| blame \| history \| raw
-rw-r--r--	143292	usymtab.c	blob \| blame \| history \| raw
-rw-r--r--	37033	usymtab_interface.c	blob \| blame \| history \| raw
-rw-r--r--	2313	valueTable.c	blob \| blame \| history \| raw
-rw-r--r--	2903	varDeclarationNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	18614	varKinds.c	blob \| blame \| history \| raw
-rw-r--r--	3036	varNodeList.c	blob \| blame \| history \| raw
-rw-r--r--	3900	warnClause.c	blob \| blame \| history \| raw
-rw-r--r--	1452	ynm.c	blob \| blame \| history \| raw