artifact.zip
The previewer is not showing all the files.
CPAchecker
Authors.txt
4.8 kB
Copyright.txt
805 Bytes
INSTALL.md
2.6 kB
License_Apache-2.0.txt
11.4 kB
NEWS.txt
14.9 kB
README.md
4.8 kB
config
CBMC.properties
519 Bytes
README.txt
227 Bytes
apronAnalysis-Cegar.properties
342 Bytes
apronAnalysis-proofcheck.properties
527 Bytes
apronAnalysis.properties
484 Bytes
bddAnalysis-concurrency.properties
1.1 kB
bddAnalysis.properties
86 Bytes
bmc-induction.properties
31 Bytes
bmc-invgen.properties
792 Bytes
bmc-pathcondition.properties
883 Bytes
bmc.properties
1.8 kB
cex-checks
README.txt
140 Bytes
ldv-bitprecise-as-cex-check.properties
90 Bytes
octagonAnalysis-as-cex-check.properties
91 Bytes
octagonAnalysis-float-as-cex-check.properties
97 Bytes
predicateAnalysis-as-cex-check-bound-arrays.properties
199 Bytes
predicateAnalysis-as-cex-check-testgeneration.properties
374 Bytes
predicateAnalysis-as-cex-check.properties
1.3 kB
smgAnalysis-as-cex-check.properties
1.3 kB
valueAnalysis-as-cex-check.properties
667 Bytes
chc.properties
382 Bytes
combinations-bdd+impact.properties
652 Bytes
combinations-bdd+pred.properties
592 Bytes
combinations-bdd+va.properties
588 Bytes
combinations-pred100+valueCegar-cmc.properties
941 Bytes
combinations-value+apron-cmc-proofcheck.properties
999 Bytes
combinations-value+pred-cmc-proofcheck.properties
959 Bytes
combinations-value10+apron-cmc.properties
1.1 kB
combinations-value10+pred-cmc.properties
986 Bytes
combinations-value100+pred-cmc.properties
937 Bytes
combinations-valueCegar+pred.properties
598 Bytes
combinations-valueCegar100+pred-cmc.properties
953 Bytes
combinations-valueCegar60+apronCegar-cmc.properties
1.1 kB
combinations-valueCegar60+pred-cmc.properties
946 Bytes
components
README.txt
294 Bytes
apronAnalysis-Cegar-use-cmc-condition.properties
841 Bytes
apronAnalysis-use-cmc-condition-proofcheck.properties
658 Bytes
apronAnalysis-use-cmc-condition.properties
579 Bytes
bddAnalysisRestricted.properties
91 Bytes
invariantGeneration-no-out-no-typeinfo.properties
92 Bytes
invariantGeneration-no-out.properties
64 Bytes
kInduction
correctnessWitnesses-kInduction--overflow.properties
1.5 kB
correctnessWitnesses-kInduction.properties
1.1 kB
formulaSlicing-kInduction.properties
584 Bytes
kInduction-kiInvariants.properties
553 Bytes
kInduction-kipdr-lateInvariants.properties
526 Bytes
kInduction-kipdrInvariants.properties
521 Bytes
kInduction-linear-kiInvariants.properties
614 Bytes
kInduction-linear.properties
91 Bytes
kInduction.properties
1.4 kB
kiki
pdr-late.properties
216 Bytes
pdr.properties
189 Bytes
pdr.properties
1.1 kB
policy-kInduction.properties
780 Bytes
svcomp15-kInduction.properties
125 Bytes
svcomp16-kInduction--overflow.properties
1.4 kB
svcomp16-kInduction.properties
958 Bytes
svcomp17-kInduction.properties
1.4 kB
octagonAnalysis-mergeWidening-cexCheck-restart-float.properties
272 Bytes
octagonAnalysis-mergeWidening-cexCheck-restart-int.properties
178 Bytes
parallel-01-predAbs-invariants.properties
145 Bytes
parallel-02-invariants.properties
294 Bytes
pcc
predicateAnalysis-pcc-validate-partial-reached.properties
440 Bytes
valueAnalysis-pcc-validate-partial-partitioned.properties
371 Bytes
predicateAnalysis-100s-generate-cmc-condition.properties
85 Bytes
predicateAnalysis-generate-cmc-condition.properties
1.0 kB
predicateAnalysis-use-cmc-condition-nospec.properties
1.0 kB
predicateAnalysis-use-cmc-condition-not-in-spec.properties
983 Bytes
predicateAnalysis-use-cmc-condition-proofcheck.properties
1.3 kB
predicateAnalysis-use-cmc-condition.properties
741 Bytes
restart-01--predAbs-bounded-global.properties
1.4 kB
restart-02--predAbs-noRefiner.properties
564 Bytes
restart-03--predAbs-invariants.properties
196 Bytes
svcomp13--combinations-predicate.properties
1.8 kB
svcomp13--combinations-value.properties
970 Bytes
svcomp14--01-challenge.properties
1.0 kB
svcomp14--01-valueAnalysis-simple.properties
543 Bytes
svcomp14--02-challenge.properties
197 Bytes
svcomp14--02-valueAnalysis.properties
1.1 kB
svcomp14--03-predicateAnalysis.properties
275 Bytes
svcomp14--04-predicateAnalysis-ABElf.properties
253 Bytes
svcomp14--05-predicateAnalysis-bitprecise.properties
355 Bytes
svcomp15--01-valueAnalysis.properties
532 Bytes
svcomp15--02-valueAnalysis-itp.properties
631 Bytes
svcomp15--03-bmc-k-induction.properties
655 Bytes
svcomp15--04-predicateAnalysis.properties
300 Bytes
svcomp15--05-predicateAnalysis-bitprecise.properties
357 Bytes
svcomp15--recursion.properties
1.3 kB
svcomp16--01-valueAnalysis.properties
699 Bytes
svcomp16--02-valueAnalysis-itp.properties
791 Bytes
svcomp16--03-bmc-k-induction.properties
634 Bytes
svcomp16--04-predicateAnalysis-bitprecise.properties
387 Bytes
svcomp16--concurrency.properties
288 Bytes
svcomp16--recursion.properties
654 Bytes
svcomp17--01-valueAnalysis.properties
730 Bytes
svcomp17--02-valueAnalysis-itp.properties
822 Bytes
svcomp17--03-predicateAnalysis-bitprecise.properties
555 Bytes
svcomp17--04-bmc-k-induction.properties
706 Bytes
svcomp17--concurrency.properties
143 Bytes
svcomp17--invariantGeneration-seq-predicateAnalysis-bitprecise.properties
1.6 kB
svcomp17--invariantGeneration-seq-valueAnalysis.properties
483 Bytes
svcomp17--invariantGeneration-seq.properties
1.8 kB
svcomp17--recursion.properties
687 Bytes
svcomp18--01-valueAnalysis.properties
839 Bytes
svcomp18--02-valueAnalysis-itp.properties
745 Bytes
svcomp18--03-predicateAnalysis.properties
388 Bytes
svcomp18--04-kInduction.properties
673 Bytes
svcomp18--concurrency.properties
1.7 kB
svcomp18--recursion.properties
508 Bytes
testCaseGeneration-predicate-generate-and-use-cmc-condition.properties
718 Bytes
testCaseGeneration-predicate-generate-cmc-condition.properties
418 Bytes
testCaseGeneration-predicate-use-cmc-condition.properties
533 Bytes
testCaseGeneration-value-generate-and-use-cmc-condition.properties
717 Bytes
testCaseGeneration-value-generate-cmc-condition.properties
417 Bytes
testCaseGeneration-value-use-cmc-condition.properties
528 Bytes
valueAnalysis-100s-generate-cmc-condition.properties
474 Bytes
valueAnalysis-10s-generate-cmc-condition-pcc.properties
540 Bytes
valueAnalysis-Cegar-100s-generate-cmc-condition.properties
448 Bytes
valueAnalysis-Cegar-60s-generate-cmc-condition.properties
447 Bytes
valueAnalysis-Cegar-generate-cmc-condition.properties
757 Bytes
valueAnalysis-Cegar-use-cmc-condition.properties
485 Bytes
valueAnalysis-combinations.properties
713 Bytes
valueAnalysis-generate-cmc-condition-proofcheck.properties
789 Bytes
valueAnalysis-generate-cmc-condition.properties
737 Bytes
violationWitnessValidation--concurrency.properties
1.0 kB
violationWitnessValidation--recursion.properties
1.0 kB
violationWitnessValidation-termination-loopinspection.properties
286 Bytes
violationWitnessValidation-termination-steminspection.properties
128 Bytes
violationWitnessValidation.properties
821 Bytes
conditionalPredicateVerifier.properties
174 Bytes
congruence.properties
725 Bytes
correctness-witness-validation.properties
1.4 kB
correctness-witnesses-k-induction--overflow.properties
516 Bytes
correctness-witnesses-k-induction.properties
457 Bytes
deadlock-detection.properties
850 Bytes
default.properties
1.6 kB
defuse.properties
67 Bytes
detectRecursion.properties
174 Bytes
deterministicVariables.properties
387 Bytes
formula-slicing-invariants.properties
74 Bytes
formula-slicing-k-induction.properties
330 Bytes
formula-slicing-w-predicate.properties
306 Bytes
formula-slicing.properties
673 Bytes
generateCFA.properties
166 Bytes
generateDependenceGraph.properties
197 Bytes
impactAlgorithm-SBE.properties
493 Bytes
includes
README.txt
171 Bytes
bam-rec.properties
962 Bytes
bam.properties
634 Bytes
bddAnalysis.properties
804 Bytes
cex-check-valueAnalysis.properties
423 Bytes
java.properties
233 Bytes
lockator
linux.properties
2.0 kB
lockStatistics-core-lightweight.properties
343 Bytes
lockStatistics-core.properties
1.0 kB
lockStatistics-linux-lightweight.properties
78 Bytes
lockStatistics-linux.properties
71 Bytes
lockStatistics-predicate.properties
1.4 kB
lockator-core.properties
683 Bytes
sharedAnalysis-core.properties
498 Bytes
sharedAnalysis-linux.properties
1.0 kB
parallelBam.properties
619 Bytes
policy.properties
1.2 kB
pred-globalInv.properties
266 Bytes
predicateAnalysis--overflow.properties
575 Bytes
predicateAnalysis-ABE.properties
701 Bytes
predicateAnalysis-ABEl.properties
572 Bytes
predicateAnalysis-ABElf.properties
581 Bytes
predicateAnalysis-ImpactAbstractionRefiner.properties
676 Bytes
predicateAnalysis-ImpactRefiner.properties
810 Bytes
predicateAnalysis-Kojak.properties
1.1 kB
predicateAnalysis-PredAbsRefiner.properties
479 Bytes
predicateAnalysis-SlicingAbstractionsAbstractionRefiner.properties
685 Bytes
predicateAnalysis-SlicingAbstractionsRefiner.properties
759 Bytes
predicateAnalysis-linear.properties
504 Bytes
predicateAnalysis.properties
894 Bytes
predicateAnalysisBackward.properties
1.0 kB
resource-limits.properties
81 Bytes
slicing.properties
280 Bytes
svcomp14--cex-check.properties
672 Bytes
svcomp15--predicateAnalysis-bit-precise-cex-check.properties
671 Bytes
svcomp16--predicateAnalysis-bit-precise-cex-check.properties
671 Bytes
svcomp17--predicateAnalysis-bit-precise-cex-check.properties
658 Bytes
svcomp18--predicateAnalysis-cex-check.properties
658 Bytes
symbolicExecution.properties
598 Bytes
valueAnalysis.properties
1.2 kB
weakestPrecondition.properties
603 Bytes
witness-validation.properties
1.1 kB
interval-propertycheck.properties
315 Bytes
intervalAnalysis-bam-rec.properties
506 Bytes
intervalAnalysis-bam.properties
428 Bytes
intervalAnalysis-concurrency.properties
1.1 kB
intervalAnalysis-join.properties
446 Bytes
intervalAnalysis-parallelBam.properties
436 Bytes
intervalAnalysis.properties
530 Bytes
intervalAnalysisARG-propertycheck.properties
343 Bytes
invariantGeneration.properties
957 Bytes
kInduction-dfInvariants.properties
856 Bytes
kInduction-kidfInvariants.properties
1.1 kB
kInduction-kipdrInvariants.properties
797 Bytes
kInduction-kipdrdfInvariants.properties
1.1 kB
kInduction-linear-dfInvariants.properties
850 Bytes
kInduction-linear-kidfInvariants.properties
1.1 kB
kInduction-linear.properties
53 Bytes
kInduction.properties
44 Bytes
lddAnalysis.properties
161 Bytes
ldv-bam.properties
4.0 kB
ldv-bitprecise.properties
708 Bytes
ldv.properties
2.8 kB
liveVariables.properties
883 Bytes
lockator-linux-lightweight.properties
219 Bytes
lockator-linux.properties
207 Bytes
loopInvariants.properties
650 Bytes
lpi-svcomp16.properties
447 Bytes
octagonAnalysis-float.properties
563 Bytes
octagonAnalysis-mergeJoin-cexCheck.properties
238 Bytes
octagonAnalysis-mergeJoin.properties
115 Bytes
octagonAnalysis-mergeWidening-cexCheck.properties
309 Bytes
octagonAnalysis-mergeWidening.properties
120 Bytes
octagonAnalysis-refiner-float.properties
127 Bytes
octagonAnalysis-refiner-int.properties
126 Bytes
octagonAnalysis-refiner.properties
393 Bytes
octagonAnalysis-restart-float.properties
197 Bytes
octagonAnalysis-restart-int.properties
439 Bytes
octagonAnalysis.properties
530 Bytes
pdr-dfInvariants.properties
755 Bytes
policy-bam.properties
722 Bytes
policy-interpolation-refinement.properties
318 Bytes
policy-intervals.properties
67 Bytes
policy-invariants.properties
201 Bytes
policy-k-induction.properties
311 Bytes
policy-mathsat.properties
99 Bytes
policy-overflow.properties
347 Bytes
policy-refinement.properties
349 Bytes
policy-slicing.properties
415 Bytes
policy-value.properties
907 Bytes
policy.properties
105 Bytes
pred-Invgen-parallel.properties
521 Bytes
pred-Invgen-restart.properties
1.4 kB
pred-Invgen-restart3.properties
1.4 kB
predicateAnalysis--overflow.properties
706 Bytes
predicateAnalysis-ImpactAbstractionRefiner-ABEl.properties
698 Bytes
predicateAnalysis-ImpactGlobalRefiner-ABEl.properties
896 Bytes
predicateAnalysis-ImpactRefiner-ABEl.properties
739 Bytes
predicateAnalysis-ImpactRefiner-ABElf.properties
740 Bytes
predicateAnalysis-ImpactRefiner-SBE.properties
784 Bytes
predicateAnalysis-Kojak-ABEl.properties
894 Bytes
predicateAnalysis-Kojak-SBE.properties
942 Bytes
predicateAnalysis-PredAbsRefiner-ABEl.properties
653 Bytes
predicateAnalysis-PredAbsRefiner-ABElf.properties
513 Bytes
predicateAnalysis-PredAbsRefiner-SBE.properties
591 Bytes
predicateAnalysis-RefinementSelection-ABE.properties
822 Bytes
predicateAnalysis-RefinementSelection-SBE.properties
820 Bytes
predicateAnalysis-SlicingAbstractionsAbstractionRefiner-ABEl.properties
613 Bytes
predicateAnalysis-SlicingAbstractionsGlobalRefiner-ABEl.properties
747 Bytes
predicateAnalysis-SlicingAbstractionsRefiner-ABEl.properties
657 Bytes
predicateAnalysis-SlicingAbstractionsRefiner-ABElf.properties
658 Bytes
predicateAnalysis-SlicingAbstractionsRefiner-SBE.properties
703 Bytes
predicateAnalysis-ToleranceConstraintsExtraction-PLUS.properties
418 Bytes
predicateAnalysis-bam-auxiliaryPredicates.properties
196 Bytes
predicateAnalysis-bam-noPointer.properties
147 Bytes
predicateAnalysis-bam-rec--overflow.properties
1.5 kB
predicateAnalysis-bam-rec.properties
1.2 kB
predicateAnalysis-bam.properties
965 Bytes
predicateAnalysis-find-null-deref.properties
464 Bytes
predicateAnalysis-invRefiner.properties
293 Bytes
predicateAnalysis-linear.properties
92 Bytes
predicateAnalysis-no-bam--overflow.properties
923 Bytes
predicateAnalysis-pathExploration.properties
1.0 kB
predicateAnalysis-pcc-result-check-arg.properties
146 Bytes
predicateAnalysis-pcc-result-check-partial-reached.properties
329 Bytes
predicateAnalysis-proofcheck-states.properties
595 Bytes
predicateAnalysis-proofcheck.properties
628 Bytes
predicateAnalysis-proofgen.properties
603 Bytes
predicateAnalysis-slicing.properties
645 Bytes
predicateAnalysis-with-invariants.properties
227 Bytes
predicateAnalysis.properties
58 Bytes
predicateAnalysisBackward.properties
55 Bytes
predicatedAnalysis-Interval.properties
1.3 kB
predicatedAnalysis-Sign.properties
1.3 kB
predicatedAnalysis-Uninit.properties
1.2 kB
predicatedAnalysis-Value.properties
1.2 kB
programsplitter-syntactic.properties
596 Bytes
proof-check-read-config.properties
44 Bytes
reachingdef-value.properties
337 Bytes
reachingdef-valueARG.properties
365 Bytes
reachingdefinition.properties
309 Bytes
reachingdefinitionARG.properties
338 Bytes
reachingdefinitionNoLocation.properties
251 Bytes
residualProgramGenerator-fold.properties
180 Bytes
residualProgramGenerator-no-unfold.properties
350 Bytes
residualProgramGenerator.properties
835 Bytes
sign-interval.properties
332 Bytes
sign-intervalARG.properties
361 Bytes
signAnalysis-propertycheck.properties
254 Bytes
signAnalysis.properties
186 Bytes
signAnalysisARG-propertycheck.properties
282 Bytes
smg-ldv-mea.properties
355 Bytes
smg-ldv.properties
2.3 kB
smg-with-valueAnalysis-without-malloc-failure.properties
539 Bytes
smg-with-valueAnalysis.properties
515 Bytes
smg.properties
822 Bytes
specification
Assertion.spc
598 Bytes
AssumptionGuidingAutomaton.spc
200 Bytes
BDDCPAErrorLocation.spc
623 Bytes
ErrorLabel.spc
345 Bytes
ErrorLocation.spc
93 Bytes
JavaAssertion.spc
248 Bytes
LDVErrorLabel.spc
262 Bytes
MainEntry.spc
207 Bytes
README
217 Bytes
SplitterGuidingAutomaton.spc
222 Bytes
TargetState.spc
217 Bytes
TerminatingFunctions.spc
234 Bytes
TerminatingStatements.spc
269 Bytes
UninitializedVariables.spc
347 Bytes
deadlock.spc
267 Bytes
default.spc
199 Bytes
memorysafety-deref.spc
501 Bytes
memorysafety-free.spc
386 Bytes
memorysafety-memtrack.spc
387 Bytes
memorysafety.spc
276 Bytes
multi-error-call-reachability.spc
475 Bytes
null-deref.spc
408 Bytes
overflow.spc
285 Bytes
sv-comp-errorlabel.spc
430 Bytes
sv-comp-memorysafety.spc
315 Bytes
sv-comp-overflow.spc
282 Bytes
sv-comp-reachability.spc
474 Bytes
sv-comp-terminatingfunctions.spc
301 Bytes
termination_as_reach.spc
673 Bytes
svcomp12-bam-funpoint.properties
1.5 kB
svcomp12-bam.properties
1.3 kB
svcomp12.properties
1.8 kB
svcomp13--combinations.properties
845 Bytes
svcomp13--valueItp-pred.properties
1.6 kB
svcomp14--memorysafety.properties
1.5 kB
svcomp14-challenge.properties
1.3 kB
svcomp14.properties
1.7 kB
svcomp15--memorysafety.properties
1.6 kB
svcomp15.properties
2.4 kB
svcomp16--k-induction-overflow.properties
730 Bytes
svcomp16--k-induction.properties
616 Bytes
svcomp16--memorysafety.properties
1.9 kB
svcomp16--overflow.properties
1.5 kB
svcomp16-bam.properties
1.6 kB
svcomp16.properties
2.4 kB
svcomp17--memorysafety.properties
2.1 kB
svcomp17--overflow.properties
279 Bytes
svcomp17--termination.properties
1.4 kB
svcomp17-k-induction--overflow.properties
2.6 kB
svcomp17-k-induction.properties
799 Bytes
svcomp17.properties
2.8 kB
svcomp18--memorysafety.properties
2.0 kB
svcomp18--overflow.properties
1.3 kB
svcomp18--termination.properties
1.9 kB
svcomp18-bam-bnb.properties
1.2 kB
svcomp18.properties
2.7 kB
symbolicExecution-Cegar-no-cex-check.properties
904 Bytes
symbolicExecution-Cegar-slicing.properties
1.1 kB
symbolicExecution-Cegar.properties
902 Bytes
symbolicExecution-NoCegar-slicing.properties
274 Bytes
symbolicExecution-java.properties
581 Bytes
symbolicExecution.properties
237 Bytes
terminationAnalysis.properties
1.4 kB
testCaseGeneration-interleaved-value+predicate-cmc-bidirectional.properties
1.0 kB
testCaseGeneration-interleaved-value+predicate-cmc-p2v.properties
1.0 kB
testCaseGeneration-interleaved-value+predicate-cmc-v2p.properties
847 Bytes
testCaseGeneration-interleaved-value+predicate-continue.properties
663 Bytes
testCaseGeneration-interleaved-value+predicate-noreuse.properties
726 Bytes
testCaseGeneration-interleaved-value+predicate-precision-reuse.properties
712 Bytes
testCaseGeneration-predicateAnalysis.properties
607 Bytes
testCaseGeneration-valueAnalysis.properties
800 Bytes
undef-func-collector.properties
344 Bytes
uninitVars.properties
266 Bytes
valueAnalysis-BDD-bool-3600s.properties
1.1 kB
valueAnalysis-BDD-bool-intEQ-intADD.properties
1.2 kB
valueAnalysis-BDD-bool-intEQ.properties
889 Bytes
valueAnalysis-BDD-bool.properties
788 Bytes
valueAnalysis-Cegar-GlobalRefiner.properties
394 Bytes
valueAnalysis-Cegar-conservative.properties
899 Bytes
valueAnalysis-Cegar-pcc-result-check-arg.properties
148 Bytes
valueAnalysis-Cegar-pcc-result-check-partial-partitioned.properties
533 Bytes
valueAnalysis-Cegar-plain.properties
974 Bytes
valueAnalysis-Cegar-pointer.properties
596 Bytes
valueAnalysis-Cegar-slicing.properties
1.2 kB
valueAnalysis-Cegar-thresholds.properties
827 Bytes
valueAnalysis-Cegar-weightedTraversal.properties
706 Bytes
valueAnalysis-Cegar.properties
1.2 kB
valueAnalysis-ConcreteCounterexampleCheck.properties
1.5 kB
valueAnalysis-NoCegar-join.properties
504 Bytes
valueAnalysis-NoCegar-plain.properties
397 Bytes
valueAnalysis-NoCegar-slicing.properties
774 Bytes
valueAnalysis-NoCegar-weightedTraversal-depth.properties
249 Bytes
valueAnalysis-NoCegar-weightedTraversal.properties
493 Bytes
valueAnalysis-NoCegar.properties
597 Bytes
valueAnalysis-apronAnalysis-proofcheck.properties
597 Bytes
valueAnalysis-bam-rec.properties
554 Bytes
valueAnalysis-bam.properties
550 Bytes
valueAnalysis-concurrency.properties
1.9 kB
valueAnalysis-featureVars.properties
1.7 kB
valueAnalysis-java-NoCegar-RTT.properties
415 Bytes
valueAnalysis-java-NoCegar.properties
542 Bytes
valueAnalysis-parallelBam-Cegar.properties
518 Bytes
valueAnalysis-parallelBam.properties
427 Bytes
valueAnalysis-pcc-trac-all.properties
353 Bytes
valueAnalysis-pcc-trac-allARG.properties
340 Bytes
valueAnalysis-predicateAnalysis-Cegar-ABEl.properties
708 Bytes
valueAnalysis-predicateAnalysis-Cegar-ABElf-conservative.properties
1.2 kB
valueAnalysis-predicateAnalysis-Cegar-ABElf.properties
1.6 kB
valueAnalysis-predicateAnalysis-bam-rec-bounded.properties
527 Bytes
valueAnalysis-predicateAnalysis-bam-rec.properties
710 Bytes
valueAnalysis-predicateAnalysis-bam.properties
995 Bytes
valueAnalysis-predicateAnalysis-proofcheck.properties
685 Bytes
valueAnalysis-proofcheck-multiedges-defaultprop.properties
490 Bytes
valueAnalysis-proofcheck.properties
350 Bytes
valueAnalysis-resultcheck.properties
184 Bytes
valueAnalysis.properties
40 Bytes
violation-witness-validation-termination.properties
573 Bytes
violation-witness-validation-valueAnalysis-concurrency.properties
286 Bytes
violation-witness-validation.properties
876 Bytes
weakestPrecondition.properties
49 Bytes
witness-check.properties
242 Bytes
witness-validation--memorysafety.properties
1.1 kB
witness-validation--overflow.properties
1.5 kB
witness-validation--recursive.properties
237 Bytes
witness-validation-predicateAnalysis.properties
221 Bytes
witness-validation-valueAnalysis.properties
408 Bytes
witness-validation.properties
38 Bytes
witness2test.properties
935 Bytes
witnessValidation.properties
209 Bytes
cpachecker.jar
7.7 MB
doc
Achievements.md
2.7 kB
Benchmark.md
5.7 kB
Configuration.md
7.6 kB
ConfigurationOptions.txt
135.5 kB
Developing.md
5.8 kB
Logging.md
8.0 kB
Mailing.md
911 Bytes
Profile.md
4.6 kB
Report.md
2.7 kB
StyleGuide.md
8.5 kB
Test.md
4.6 kB
VersionControl.md
2.0 kB
cpachecker.bib
4.4 kB
examples
benchmark-cpachecker.xml
3.5 kB
benchmark.xml
6.5 kB
example.c
277 Bytes
predmap.txt
20.1 kB
starexec_run_predicateAnalysis.sh
343 Bytes
lib
LGPL.txt
7.7 kB
ReadMe.txt
1.6 kB
apron.jar
164.2 kB
edu.cmu.sei.rtss.jldd.jar
23.4 kB
gmp.jar
13.1 kB
java
runtime
animal-sniffer-annotations.jar
3.5 kB
batik-awt-util.jar
420.9 kB
batik-constants.jar
8.3 kB
batik-dom.jar
184.1 kB
batik-ext.jar
13.0 kB
batik-i18n.jar
11.3 kB
batik-svggen.jar
224.3 kB
batik-util.jar
126.7 kB
batik-xml.jar
33.5 kB
checker-compat-qual.jar
31.5 kB
com.microsoft.z3.jar
171.3 kB
common.jar
312.3 kB
error_prone_annotations.jar
13.7 kB
guava.jar
2.7 MB
icu4j.jar
7.3 MB
j2objc-annotations.jar
8.8 kB
java-cup-runtime.jar
31.0 kB
javabdd.jar
237.4 kB
javasmt.jar
586.5 kB
jna.jar
1.1 MB
jsr305.jar
19.9 kB
lasso-ranker.jar
315.3 kB
libLLVM-3.9.1.so
46.2 MB
libedit.so.2
212.2 kB
libmathsat5j.so
6.8 MB
liboptimathsat5j.so
6.8 MB
libtinfo.so.5
167.2 kB
libz3.so
22.9 MB
libz3java.so
264.0 kB
llvm-j.jar
78.1 kB
org.eclipse.cdt.core.jar
5.8 MB
org.eclipse.core.contenttype.jar
104.3 kB
org.eclipse.core.jobs.jar
107.4 kB
org.eclipse.core.resources.jar
891.7 kB
org.eclipse.core.runtime.jar
75.8 kB
org.eclipse.equinox.common.jar
121.5 kB
org.eclipse.equinox.preferences.jar
133.2 kB
org.eclipse.jdt.core.jar
6.7 MB
org.eclipse.osgi.jar
1.4 MB
princess-parser_2.12.jar
135.0 kB
princess-smt-parser_2.12.jar
123.4 kB
princess_2.12.jar
4.5 MB
scala-library.jar
5.2 MB
scala-parser-combinators_2.12.jar
204.3 kB
smtinterpol.jar
977.2 kB
spotbugs-annotations.jar
15.1 kB
ultimate-core-rcp.jar
327.4 kB
ultimate-core.jar
165.2 kB
ultimate-model-checker-utils.jar
480.7 kB
ultimate-model.jar
63.2 kB
ultimate-smt-solver-bridge.jar
62.5 kB
ultimate-util.jar
158.7 kB
jna.jar
1.1 MB
jpl.jar
29.5 kB
jsylvan.jar
7.8 kB
license-cbmc.txt
1.9 kB
license-cup.txt
1.6 kB
license-icu4j.html
2.0 kB
license-octagon.txt
3.4 kB
license-symja.txt
74 Bytes
meconsole010.jar
3.8 MB
native
x86-linux
x86-macosx
x86_64-linux
apron
libjapron.so
853.6 kB
libjgmp.so
182.1 kB
cbmc
7.2 MB
chc_lib
465.1 kB
libFloatingPoints.so
28.3 kB
libJOct_float.so
100.8 kB
libJOct_int.so
104.9 kB
libjpl.so
98.5 kB
libsylvan.so
328.8 kB
z3
18.9 MB
x86_64-macosx
python-benchmark
BenchExec-1.14-py3-none-any.whl
260.6 kB
README.txt
747 Bytes
Tempita-0.5.2-cp35-none-any.whl
14.0 kB
certifi-2017.11.5-py2.py3-none-any.whl
330.6 kB
chardet-3.0.4-py2.py3-none-any.whl
133.4 kB
idna-2.6-py2.py3-none-any.whl
56.5 kB
requests-2.18.4-py2.py3-none-any.whl
88.7 kB
requirements.txt
267 Bytes
six-1.11.0-py2.py3-none-any.whl
10.7 kB
sseclient-0.0.15-py3-none-any.whl
6.3 kB
urllib3-1.22-py2.py3-none-any.whl
132.3 kB
scripts
Readme.txt
956 Bytes
benchmark
__init__.py
0 Bytes
tools
__init__.py
0 Bytes
scalefree.py
1.3 kB
vcloud.py
15.1 kB
webclient.py
41.3 kB
webclient_benchexec.py
10.8 kB
benchmark.py
5.9 kB
configViz.py
12.5 kB
cpa.sh
5.4 kB
cpa_cloud.py
2.6 kB
cpa_web_cloud.py
8.8 kB
cpa_witness2test.py
12.0 kB
determine-revision.py
3.9 kB
generate_coverage.py
1.2 kB
generate_validation_testdef.py
4.2 kB
post_processing
coverage
README.md
3.2 kB
generate_coverage.py
27.6 kB
report-generator.py
1.1 kB
runexecutor.py
1.2 kB
table-generator.py
1.6 kB
witness_validation_web_cloud.py
5.5 kB
test
hand-crafted
19 Bytes
programs
benchmarks
25 Bytes
results
test-sets
pdr-inv-handcrafted.xml
2.2 kB
pdr-inv.xml
5.0 kB
benchexec
.coveragerc
556 Bytes
.git
HEAD
41 Bytes
config
263 Bytes
description
73 Bytes
hooks
applypatch-msg.sample
478 Bytes
commit-msg.sample
896 Bytes
fsmonitor-watchman.sample
3.3 kB
post-update.sample
189 Bytes
pre-applypatch.sample
424 Bytes
pre-commit.sample
1.6 kB
pre-push.sample
1.3 kB
pre-rebase.sample
4.9 kB
pre-receive.sample
544 Bytes
prepare-commit-msg.sample
1.5 kB
update.sample
3.6 kB
index
41.3 kB
info
exclude
240 Bytes
logs
HEAD
396 Bytes
refs
heads
master
187 Bytes
remotes
origin
HEAD
187 Bytes
objects
info
pack
pack-e35e03b3b0a0d4bc08771b59c38c1a075200afca.idx
385.8 kB
pack-e35e03b3b0a0d4bc08771b59c38c1a075200afca.pack
6.9 MB
packed-refs
3.4 kB
refs
heads
master
41 Bytes
remotes
origin
HEAD
32 Bytes
tags
.gitattributes
245 Bytes
.gitignore
60 Bytes
.project
363 Bytes
.pydevproject
423 Bytes
.travis-setup.sh
650 Bytes
.travis.yml
1.2 kB
CHANGELOG.md
16.7 kB
LICENSE
11.3 kB
MANIFEST.in
288 Bytes
README.md
6.6 kB
benchexec
__init__.py
2.3 kB
baseexecutor.py
7.6 kB
benchexec.py
15.4 kB
cgroups.py
16.0 kB
check_cgroups.py
5.4 kB
container.py
15.2 kB
containerexecutor.py
43.1 kB
filehierarchylimit.py
4.0 kB
filewriter.py
2.3 kB
intel_cpu_energy.py
4.3 kB
libc.py
4.7 kB
localexecution.py
13.1 kB
model.py
39.6 kB
oomhandler.py
6.2 kB
outputhandler.py
33.4 kB
resources.py
17.8 kB
result.py
15.1 kB
runexecutor.py
60.8 kB
systeminfo.py
7.8 kB
tablegenerator
__init__.py
77.0 kB
columns.py
12.7 kB
template.csv
599 Bytes
template.html
63.3 kB
test_integration
__init__.py
24.8 kB
expected
big-table.diff.csv
9.1 kB
big-table.diff.html
66.0 kB
big-table.table.csv
113.6 kB
big-table.table.html
748.9 kB
cbmc.2015-12-11_1211.results.Simple.csv
4.7 kB
cbmc.2015-12-11_1211.results.Simple.html
32.6 kB
integration-predicateAnalysis.2015-10-20_1355.all-columns.html
554.3 kB
multi-table-with-columns.diff.csv
2.4 kB
multi-table-with-columns.diff.html
23.9 kB
multi-table-with-columns.table.csv
2.9 kB
multi-table-with-columns.table.html
29.7 kB
multi-table-with-diff-over-column.diff.csv
2.7 kB
multi-table-with-diff-over-column.diff.html
26.7 kB
multi-table-with-diff-over-column.table.csv
2.9 kB
multi-table-with-diff-over-column.table.html
29.7 kB
multi-table-with-validation.diff.csv
4.2 kB
multi-table-with-validation.diff.html
49.0 kB
multi-table-with-validation.table.csv
16.0 kB
multi-table-with-validation.table.html
248.0 kB
multi-table-with-wildcards.diff.csv
1.6 kB
multi-table-with-wildcards.diff.html
17.1 kB
multi-table-with-wildcards.table.csv
2.1 kB
multi-table-with-wildcards.table.html
21.3 kB
multi-table.diff.csv
1.6 kB
multi-table.diff.html
17.0 kB
multi-table.table.csv
2.1 kB
multi-table.table.html
21.1 kB
predicateAnalysis-reverse.table.csv
1.3 kB
predicateAnalysis-reverse.table.html
13.4 kB
predicateAnalysis.table.csv
1.3 kB
predicateAnalysis.table.html
13.4 kB
simple-table-with-columns.table.csv
915 Bytes
simple-table-with-columns.table.html
9.4 kB
simple-table-with-links.table.csv
730 Bytes
simple-table-with-links.table.html
9.0 kB
simple-table-with-numberOfDigits.table.csv
762 Bytes
simple-table-with-numberOfDigits.table.html
8.6 kB
simple-table-with-scaling.table.csv
998 Bytes
simple-table-with-scaling.table.html
11.0 kB
simple-table-with-validation-all-confirmed.table.csv
10.2 kB
simple-table-with-validation-all-confirmed.table.html
131.2 kB
simple-table-with-validation-unconfirmed.table.csv
10.5 kB
simple-table-with-validation-unconfirmed.table.html
135.2 kB
smt.diff.csv
974 Bytes
smt.diff.html
9.6 kB
smt.table.csv
1.1 kB
smt.table.html
11.8 kB
test-error.2015-03-03_1613.diff.csv
961 Bytes
test-error.2015-03-03_1613.diff.html
10.1 kB
test-error.2015-03-03_1613.table.csv
1.3 kB
test-error.2015-03-03_1613.table.html
12.5 kB
test.2015-03-03_1613-common.diff.csv
844 Bytes
test.2015-03-03_1613-common.diff.html
9.4 kB
test.2015-03-03_1613-common.table.csv
1.2 kB
test.2015-03-03_1613-common.table.html
11.3 kB
test.2015-03-03_1613-correct-only.diff.csv
885 Bytes
test.2015-03-03_1613-correct-only.diff.html
9.6 kB
test.2015-03-03_1613-correct-only.table.csv
1.1 kB
test.2015-03-03_1613-correct-only.table.html
11.6 kB
test.2015-03-03_1613-reverse.diff.csv
965 Bytes
test.2015-03-03_1613-reverse.diff.html
10.1 kB
test.2015-03-03_1613-reverse.table.csv
1.3 kB
test.2015-03-03_1613-reverse.table.html
12.5 kB
test.2015-03-03_1613.diff.csv
961 Bytes
test.2015-03-03_1613.diff.html
10.1 kB
test.2015-03-03_1613.results.predicateAnalysis.all-columns.csv
1.0 kB
test.2015-03-03_1613.results.predicateAnalysis.all-columns.html
9.6 kB
test.2015-03-03_1613.results.predicateAnalysis.correct-only.csv
794 Bytes
test.2015-03-03_1613.results.predicateAnalysis.correct-only.html
7.8 kB
test.2015-03-03_1613.results.predicateAnalysis.csv
870 Bytes
test.2015-03-03_1613.results.predicateAnalysis.html
8.6 kB
test.2015-03-03_1613.results.valueAnalysis.csv
750 Bytes
test.2015-03-03_1613.results.valueAnalysis.html
7.4 kB
test.2015-03-03_1613.results.valueAnalysis.table.csv
750 Bytes
test.2015-03-03_1613.results.valueAnalysis.table.html
7.4 kB
test.2015-03-03_1613.table.csv
1.3 kB
test.2015-03-03_1613.table.html
12.5 kB
union-table-duplicate-results.diff.csv
1.1 kB
union-table-duplicate-results.diff.html
10.1 kB
union-table-duplicate-results.table.csv
1.4 kB
union-table-duplicate-results.table.html
12.1 kB
union-table-mixed.diff.csv
1.3 kB
union-table-mixed.diff.html
13.9 kB
union-table-mixed.table.csv
1.7 kB
union-table-mixed.table.html
17.3 kB
union-table-multiple-results.diff.csv
1.7 kB
union-table-multiple-results.diff.html
12.8 kB
union-table-multiple-results.table.csv
2.4 kB
union-table-multiple-results.table.html
16.5 kB
union-table-predicateAnalysis.table.csv
870 Bytes
union-table-predicateAnalysis.table.html
8.3 kB
union-table-valueAnalysis.table.csv
750 Bytes
union-table-valueAnalysis.table.html
7.0 kB
union-table.diff.csv
961 Bytes
union-table.diff.html
10.1 kB
union-table.table.csv
1.3 kB
union-table.table.html
12.0 kB
multi-table-with-columns.xml
697 Bytes
multi-table-with-diff-over-column.xml
720 Bytes
multi-table-with-validation.xml
1.9 kB
multi-table-with-wildcards.xml
149 Bytes
multi-table.xml
337 Bytes
results
integration-cpa-kind.2017-01-10_2204.results.merged.xml
574.8 kB
integration-cpa-seq.2017-01-11_1118.results.merged.xml
575.5 kB
integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2
24.7 kB
integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2
17.8 kB
integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2
19.2 kB
mathsat.2015-05-27_1004.results.xml
2.4 kB
smtinterpol.2015-05-27_1004.results.xml
2.4 kB
test-error.2015-03-03_1613.results.predicateAnalysis.xml
3.2 kB
test.2015-03-03_1613.logfiles.zip
19.5 kB
test.2015-03-03_1613.results.predicateAnalysis-legacy.xml
3.3 kB
test.2015-03-03_1613.results.predicateAnalysis-logfile-links.xml
3.4 kB
test.2015-03-03_1613.results.predicateAnalysis.0.xml
2.2 kB
test.2015-03-03_1613.results.predicateAnalysis.1.xml
1.1 kB
test.2015-03-03_1613.results.predicateAnalysis.2.xml
1.2 kB
test.2015-03-03_1613.results.predicateAnalysis.xml
3.2 kB
test.2015-03-03_1613.results.predicateAnalysis.xml.bz2
975 Bytes
test.2015-03-03_1613.results.predicateAnalysis.xml.gz
912 Bytes
test.2015-03-03_1613.results.valueAnalysis.0.xml
2.2 kB
test.2015-03-03_1613.results.valueAnalysis.1.xml
1.0 kB
test.2015-03-03_1613.results.valueAnalysis.xml
2.7 kB
test.2015-03-03_1815.logfiles
predicateAnalysis.builtin_expect_true-unreach-label.c.log
6.2 kB
predicateAnalysis.compoundLiteral_true-unreach-label.c.log
6.3 kB
predicateAnalysis.example.c.log
9.5 kB
predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log
6.3 kB
predicateAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
7.4 kB
valueAnalysis.compoundLiteral_true-unreach-label.c.log
5.6 kB
valueAnalysis.example.c.log
6.1 kB
valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log
5.4 kB
valueAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
5.4 kB
test.2015-03-03_1815.results.predicateAnalysis.xml
3.2 kB
test.2015-03-03_1815.results.valueAnalysis.xml
2.7 kB
simple-table-with-columns.xml
359 Bytes
simple-table-with-links.xml
405 Bytes
simple-table-with-numberOfDigits.xml
270 Bytes
simple-table-with-scaling.xml
604 Bytes
simple-table-with-validation-all-confirmed.xml
941 Bytes
simple-table-with-validation-unconfirmed.xml
940 Bytes
simple-table.xml
99 Bytes
smt.xml
324 Bytes
table-only-columns.xml
376 Bytes
union-table-duplicate-results.xml
433 Bytes
union-table-mixed.xml
385 Bytes
union-table-multiple-results.xml
517 Bytes
union-table-predicateAnalysis.xml
321 Bytes
union-table-valueAnalysis.xml
223 Bytes
union-table.xml
527 Bytes
test_numberformat.py
9.5 kB
test_statvalue.py
2.7 kB
test_util.py
2.8 kB
util.py
10.0 kB
test_analyze_run_result.py
7.7 kB
test_cgroups.py
2.8 kB
test_core_assignment.py
13.5 kB
test_integration
__init__.py
13.8 kB
benchmark-example-rand.xml
1.2 kB
benchmark-example-true.xml
1.4 kB
expected
benchmark-example-true.2015-01-01_0000.results.no options.xml
19.3 kB
test_python2.py
1.3 kB
test_result.py
28.5 kB
test_runexecutor.py
35.8 kB
test_tool_info.py
7.7 kB
test_tool_wrapper.py
1.4 kB
test_util.py
6.1 kB
tools
__init__.py
0 Bytes
acsar.py
2.3 kB
aprove.py
1.6 kB
blast.py
2.6 kB
calculatepi.py
1.4 kB
cascade.py
2.2 kB
cbmc.py
5.4 kB
ceagle.py
2.0 kB
civl.py
1.5 kB
consequence.py
1.7 kB
cpa-witness2test.py
1.6 kB
cpachecker.py
8.8 kB
cseq.py
2.9 kB
depthk.py
3.4 kB
divine.py
4.9 kB
dummy.py
1.9 kB
ecav.py
1.5 kB
esbmc.py
3.0 kB
false.py
1.3 kB
feaver.py
1.9 kB
forest.py
2.0 kB
forester.py
2.1 kB
fshell-witness2test.py
5.2 kB
hiprec.py
1.9 kB
hiptnt.py
1.8 kB
impara.py
4.2 kB
klee.py
3.0 kB
lazycseq.py
1.2 kB
lazycseqabs.py
1.2 kB
lazycseqswarm.py
1.3 kB
lctd.py
1.6 kB
llbmc.py
1.7 kB
map2check.py
4.7 kB
mathsat.py
1.5 kB
mucseq.py
2.0 kB
pacman.py
2.0 kB
pagai.py
1.6 kB
predatorhp.py
2.3 kB
satabs.py
1.9 kB
seahorn.py
4.1 kB
skink.py
1.4 kB
smack.py
3.1 kB
smtinterpol.py
1.7 kB
smtlib2.py
2.0 kB
symbiotic.py
4.4 kB
symbiotic4.py
3.1 kB
symdivine.py
4.6 kB
template.py
10.6 kB
threader.py
2.1 kB
two_ls.py
2.7 kB
ufo.py
1.6 kB
ulcseq.py
1.1 kB
ultimate.py
12.1 kB
ultimateautomizer.py
2.3 kB
ultimatekojak.py
2.0 kB
ultimatetaipan.py
2.1 kB
veriabs.py
2.2 kB
verifuzz.py
2.0 kB
viap.py
1.9 kB
vvt.py
2.0 kB
wolverine.py
1.8 kB
yogar-cbmc.py
1.7 kB
util.py
20.2 kB
bin
benchexec
1.2 kB
containerexec
928 Bytes
runexec
916 Bytes
table-generator
1.0 kB
contrib
mergeBenchmarkSets.py
6.1 kB
plots
.gitignore
24 Bytes
README.md
5.4 kB
example-tool1.results.xml.bz2
78.0 kB
example-tool2.results.xml.bz2
80.9 kB
generate-plots.sh
1.2 kB
quantile-generator.py
5.6 kB
quantile-score.gp
702 Bytes
quantile-score.png
21.3 kB
quantile-score.tex
1.5 kB
quantile-split.gp
1.1 kB
quantile.gp
679 Bytes
quantile.png
21.9 kB
quantile.tex
1.5 kB
scatter-counted.gp
791 Bytes
scatter-counted.png
38.2 kB
scatter-counted.tex
2.0 kB
scatter.gp
580 Bytes
scatter.png
34.7 kB
scatter.tex
1.6 kB
scatter.xml
387 Bytes
serveFileFromZIP.php
4.7 kB
statistics-tex.py
7.5 kB
debian
NEWS
335 Bytes
README.Debian
504 Bytes
additional_files
lib
systemd
system.conf.d
benchexec-cgroup.conf
145 Bytes
benchexec-cgroup.service
1.2 kB
benchexec.examples
60 Bytes
benchexec.install
35 Bytes
benchexec.postinst
263 Bytes
changelog
2.3 kB
compat
2 Bytes
control
1.6 kB
copyright
869 Bytes
docs
104 Bytes
rules
917 Bytes
source
format
12 Bytes
triggers
26 Bytes
watch
143 Bytes
doc
DEVELOPMENT.md
4.6 kB
INDEX.md
2.5 kB
INSTALL.md
10.1 kB
benchexec.md
8.6 kB
benchmark-example-calculatepi.xml
1.4 kB
benchmark-example-cbmc.xml
1.4 kB
benchmark-example-rand.xml
1.2 kB
benchmark-example-true.xml
1.4 kB
benchmark.dtd
1.3 kB
benchmark.xml
2.7 kB
benchmarking.md
3.2 kB
container.md
13.5 kB
properties
INDEX.md
2.5 kB
no-deadlock.prp
41 Bytes
no-overflow.prp
41 Bytes
observer-automaton.prp
19 Bytes
sat.prp
12 Bytes
termination.prp
35 Bytes
unreach-call.prp
58 Bytes
unreach-label.prp
46 Bytes
valid-memsafety.prp
129 Bytes
resources.md
6.9 kB
result.dtd
1.8 kB
run-results.md
6.9 kB
runexec.md
4.3 kB
separate-user.md
2.8 kB
table-generator-example.xml
1.1 kB
table-generator.md
7.5 kB
table-generator.xml
3.0 kB
table.dtd
613 Bytes
tool-integration.md
5.1 kB
release.sh
3.4 kB
setup.py
3.4 kB
benchmark.py
31 Bytes