CPAchecker-3.1-svn-a4ef7da21b-unix.zip
The previewer is not showing all the files.
CPAchecker-3.1-svn-a4ef7da21b-unix
Authors.md
7.5 kB
CONTRIBUTING.md
4.0 kB
INSTALL.md
4.5 kB
LICENSE
11.4 kB
LICENSES
0BSD.txt
660 Bytes
Apache-2.0.txt
11.4 kB
BSD-2-Clause.txt
1.3 kB
BSD-3-Clause.txt
1.5 kB
CC-BY-3.0.txt
18.5 kB
CC-BY-4.0.txt
16.8 kB
CC0-1.0.txt
7.0 kB
EPL-1.0.txt
11.3 kB
GPL-2.0-only.txt
17.6 kB
GPL-2.0-or-later.txt
17.6 kB
GPL-3.0-only.txt
34.5 kB
GPL-3.0-or-later.txt
32.2 kB
ICU.txt
1.6 kB
ISC.txt
823 Bytes
LGPL-2.1-only.txt
25.9 kB
LGPL-2.1-or-later.txt
25.9 kB
LGPL-3.0-or-later.txt
7.4 kB
LicenseRef-BSD-3-Clause-CMU.txt
2.3 kB
LicenseRef-BSD-3-Clause-CVC4.txt
5.6 kB
LicenseRef-BSD-4-Clause-CBMC.txt
2.0 kB
LicenseRef-BuDDy.txt
1.3 kB
LicenseRef-CUP.txt
1.6 kB
LicenseRef-MathSAT-CPAchecker.txt
777 Bytes
LicenseRef-Octagon-Abstract-Domain-Library.txt
3.4 kB
MIT.txt
1.1 kB
MPL-2.0.txt
15.0 kB
NCSA.txt
1.7 kB
OFL-1.1.txt
4.0 kB
X11.txt
1.3 kB
Zlib.txt
866 Bytes
blessing.txt
270 Bytes
NEWS.md
30.2 kB
README.md
8.2 kB
config
README.md
461 Bytes
acslToWitness.properties
454 Bytes
bddAnalysis-bam-fullBlockAbstraction.properties
1.2 kB
bddAnalysis-bam.properties
558 Bytes
bddAnalysis-concurrency.properties
782 Bytes
bddAnalysis-parallelBam-fullBlockAbstraction.properties
1.2 kB
bddAnalysis-parallelBam.properties
598 Bytes
bddAnalysis.properties
366 Bytes
bmc--overflow.properties
634 Bytes
bmc-concurrency.properties
1.7 kB
bmc-incremental--overflow.properties
747 Bytes
bmc-incremental-ABEl.properties
806 Bytes
bmc-incremental.properties
557 Bytes
bmc-induction.properties
266 Bytes
bmc-interpolation.properties
802 Bytes
bmc-interpolationDualSequence.properties
869 Bytes
bmc-interpolationSequence.properties
828 Bytes
bmc-invgen.properties
1.0 kB
bmc-pathcondition.properties
1.1 kB
bmc.properties
631 Bytes
bmcSplitting-cyclic.properties
1.9 kB
bmcSplitting-iterations.properties
1.1 kB
cex-checks
README.md
505 Bytes
ldv-bitprecise-as-cex-check.properties
325 Bytes
predicateAnalysis-as-cex-check-bound-arrays.properties
434 Bytes
predicateAnalysis-as-cex-check-cexrefinement.properties
597 Bytes
predicateAnalysis-as-cex-check-testgeneration.properties
779 Bytes
predicateAnalysis-as-cex-check.properties
1.9 kB
predicateAnalysis-concurrency-as-cex-check.properties
2.1 kB
smg2-as-cex-check.properties
921 Bytes
smgAnalysis-as-cex-check.properties
1.6 kB
valueAnalysis-as-cex-check-concurrency.properties
554 Bytes
valueAnalysis-as-cex-check.properties
952 Bytes
collect-undefined-functions.properties
776 Bytes
combinations-bdd+impact.properties
888 Bytes
combinations-bdd+pred.properties
828 Bytes
combinations-bdd+va.properties
824 Bytes
combinations-terminationCPA+lassoAnalysis.properties
1.0 kB
combinations-value10+pred-cmc.properties
1.2 kB
combinations-value100+pred-cmc.properties
1.2 kB
combinations-valueCegar+pred.properties
833 Bytes
combinations-valueCegar60+pred-cmc.properties
1.2 kB
components
README.md
610 Bytes
bddAnalysis-concurrency.properties
1.2 kB
bddAnalysisRestricted.properties
326 Bytes
craigInterpolation-single.properties
2.2 kB
dataFlowAnalysis.properties
953 Bytes
differencePropAutomatonGeneratorAsComponent.properties
1.4 kB
differenceUsageAutomatonGeneratorAsComponent.properties
1.0 kB
differentialAutomatonGeneratorAsComponent.properties
1.3 kB
goalConverterBackwardsSearch.properties
468 Bytes
invariantGeneration-no-out-no-typeinfo.properties
327 Bytes
invariantGeneration-no-out.properties
296 Bytes
invariantGeneration.properties
973 Bytes
kInduction
correctnessWitnesses-kInduction--overflow.properties
1.7 kB
correctnessWitnesses-kInduction.properties
1.3 kB
kInduction-kiInvariants.properties
788 Bytes
kInduction-kipdr-lateInvariants.properties
761 Bytes
kInduction-kipdrInvariants.properties
756 Bytes
kInduction-linear-kiInvariants.properties
849 Bytes
kInduction-linear.properties
326 Bytes
kInduction.properties
1.6 kB
kiki
pdr-late.properties
450 Bytes
pdr.properties
423 Bytes
kInduction+Invariants
kInduction-dfInvariants.properties
968 Bytes
kInduction-kidfInvariants.properties
1.2 kB
kInduction-kipdrdfInvariants.properties
1.2 kB
kInduction-linear-dfInvariants.properties
962 Bytes
kInduction-linear-kidfInvariants.properties
1.2 kB
kInduction-linear.properties
288 Bytes
kInduction-with-cex-check.properties
741 Bytes
kInduction.properties
279 Bytes
parallel-01-predAbs-invariants.properties
380 Bytes
parallel-02-invariants.properties
529 Bytes
pcc
predicateAnalysis-pcc-validate-partial-reached.properties
676 Bytes
valueAnalysis-pcc-validate-partial-partitioned.properties
607 Bytes
predicateAnalysis--overflow.properties
742 Bytes
predicateAnalysis-100s-generate-cmc-condition.properties
320 Bytes
predicateAnalysis-generate-cmc-condition.properties
1.3 kB
predicateAnalysis-use-cmc-condition-differential.properties
1.2 kB
predicateAnalysis-use-cmc-condition-nospec.properties
1.3 kB
predicateAnalysis-use-cmc-condition.properties
1.0 kB
restart-01--predAbs-bounded-global.properties
1.6 kB
restart-02--predAbs-noRefiner.properties
800 Bytes
restart-03--predAbs-invariants.properties
431 Bytes
smg-timeout-600.properties
1.2 kB
svcomp25--complexLoops-kInduction.properties
821 Bytes
svcomp25--concurrency.properties
695 Bytes
svcomp25--configselection-restart-bmc-fallbacks.properties
989 Bytes
svcomp25--configselection-restart-valueAnalysis-fallbacks.properties
868 Bytes
svcomp25--configselection-restartcomponent-predicateAnalysis-end.properties
575 Bytes
svcomp25--configselection-restartcomponent-valueAnalysis-itp-end.properties
856 Bytes
svcomp25--configselection-restartcomponent-valueAnalysis.properties
1.1 kB
svcomp25--configselection-singleconfig-bmc.properties
720 Bytes
svcomp25--multipleLoops-dataFlow.properties
643 Bytes
svcomp25--multipleLoops-kInduction.properties
819 Bytes
svcomp25--multipleLoops-predicateAnalysis.properties
606 Bytes
svcomp25--multipleLoops-symbolicExecution.properties
727 Bytes
svcomp25--multipleLoops-valueAnalysis-Cegar.properties
1.2 kB
svcomp25--multipleLoopsConfig.properties
1.1 kB
svcomp25--parallel-memsafety.properties
1.2 kB
svcomp25--parallel-multipleLoops.properties
993 Bytes
svcomp25--parallel-singleLoop.properties
975 Bytes
svcomp25--parallel-termination.properties
746 Bytes
svcomp25--parallel-valueAnalysis.properties
865 Bytes
svcomp25--recursion.properties
918 Bytes
svcomp25--singleLoop-IMC.properties
757 Bytes
svcomp25--singleLoop-dataFlow.properties
643 Bytes
svcomp25--singleLoop-predicateAnalysis.properties
606 Bytes
svcomp25--singleLoop-symbolicExecution.properties
727 Bytes
svcomp25--singleLoop-valueAnalysis-Cegar.properties
1.2 kB
svcomp25--singleLoopConfig.properties
1.1 kB
svcomp25--smgAnalysis-overapproximating-with-cex-restart.properties
1.2 kB
svcomp25--smgAnalysis-symEx-concrete-memory-access.properties
612 Bytes
svcomp25--smgAnalysis-symEx-overapproximating-with-cex.properties
874 Bytes
svcomp25--smgAnalysis-symEx.properties
517 Bytes
svcomp25--smgAnalysis-value.properties
680 Bytes
svcomp25--termination-lassoBasedAnalysis.properties
823 Bytes
svcomp25--termination-recursion.properties
1.6 kB
svcomp25--termination-terminationToSafety.properties
1.6 kB
termination-composition-01.properties
1.3 kB
termination-composition-02.properties
1.1 kB
terminationToSafety.properties
735 Bytes
testing
testCaseGeneration-bmc-generate-and-use-cmc-condition.properties
1.1 kB
testCaseGeneration-bmc-generate-cmc-condition.properties
521 Bytes
testCaseGeneration-bmc-use-cmc-condition.properties
884 Bytes
testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties
1.2 kB
testCaseGeneration-predicate-generate-and-use-cmc-condition.properties
1.1 kB
testCaseGeneration-predicate-generate-cmc-condition.properties
754 Bytes
testCaseGeneration-predicate-use-cmc-condition-precision.properties
907 Bytes
testCaseGeneration-predicate-use-cmc-condition.properties
796 Bytes
testCaseGeneration-symbolic-generate-and-use-cmc-condition.properties
1.1 kB
testCaseGeneration-symbolic-generate-cmc-condition.properties
821 Bytes
testCaseGeneration-symbolic-use-cmc-condition.properties
864 Bytes
testCaseGeneration-value-generate-and-use-cmc-condition.properties
1.1 kB
testCaseGeneration-value-generate-cmc-condition.properties
752 Bytes
testCaseGeneration-value-use-cmc-condition.properties
791 Bytes
testcomp21-generation-predicate.properties
1.5 kB
testcomp22-generation-value.properties
2.4 kB
testcomp22-random.properties
580 Bytes
testcomp24-generation-predicate-recursive.properties
1.6 kB
testcomp24-value+predicate+recursive.properties
975 Bytes
valueAnalysis-100s-generate-cmc-condition.properties
709 Bytes
valueAnalysis-10s-generate-cmc-condition-pcc.properties
776 Bytes
valueAnalysis-Cegar-60s-generate-cmc-condition.properties
682 Bytes
valueAnalysis-Cegar-generate-cmc-condition.properties
993 Bytes
valueAnalysis-Cegar-use-cmc-condition.properties
731 Bytes
valueAnalysis-combinations.properties
963 Bytes
valueAnalysis-generate-cmc-condition.properties
972 Bytes
valueAnalysis-predicateAnalysis-bam-rec-bounded.properties
713 Bytes
valueAnalysis-predicateAnalysis-bam-rec.properties
1.0 kB
valueAnalysis-predicateAnalysis-bam-with-cex-check.properties
818 Bytes
valueAnalysis-predicateAnalysis-bam.properties
865 Bytes
violationWitnessValidation--concurrency.properties
1.0 kB
violationWitnessValidation--recursion.properties
1.3 kB
violationWitnessValidation-SMG.properties
614 Bytes
violationWitnessValidation-termination-inspection.properties
752 Bytes
violationWitnessValidation-termination-loopinspection.properties
551 Bytes
violationWitnessValidation-termination-replay.properties
594 Bytes
violationWitnessValidation-termination-steminspection.properties
393 Bytes
violationWitnessValidation.properties
1.2 kB
conditional-testing-naive.properties
799 Bytes
conditional-testing-propagation.properties
754 Bytes
correctness-witness-validation--overflow.properties
928 Bytes
correctness-witness-validation-acsl.properties
884 Bytes
correctness-witness-validation-predicate-analysis.properties
1.5 kB
correctness-witness-validation.properties
1.8 kB
correctness-witnesses-k-induction--overflow.properties
942 Bytes
correctness-witnesses-k-induction.properties
692 Bytes
craigInterpolation-violationWitness.properties
567 Bytes
dataFlowAnalysis.properties
965 Bytes
dataRaceAnalysis.properties
1.0 kB
deadlock-detection.properties
1.1 kB
default--overflow.properties
1.2 kB
default.properties
2.1 kB
defuse.properties
302 Bytes
detectRecursion.properties
409 Bytes
deterministicVariables.properties
621 Bytes
differencePropPredicateAnalysis.properties
948 Bytes
differenceUsagePredicateAnalysis.properties
829 Bytes
differentialPredicateAnalysis.properties
946 Bytes
differentialProgramGenerator.properties
838 Bytes
distributed-block-summaries
predicateAnalysis-block-backward.properties
744 Bytes
predicateAnalysis-block-forward.properties
589 Bytes
generateCFA.properties
401 Bytes
generateSlice.properties
633 Bytes
hb-userprop.properties
1.1 kB
importFaults.properties
568 Bytes
includes
README.md
482 Bytes
bam-rec.properties
767 Bytes
bam.properties
752 Bytes
bddAnalysis.properties
990 Bytes
bmc--overflow.properties
1.1 kB
bmc-DAR.properties
1.8 kB
bmc-IMC.properties
1.9 kB
bmc-ISMC.properties
1.9 kB
bmc-with-cex-check.properties
715 Bytes
bmc-without-valueAnalysis.properties
2.3 kB
bmc.properties
874 Bytes
cex-check-valueAnalysis.properties
658 Bytes
concurrency.properties
852 Bytes
faultLocalization-traceformulas.properties
410 Bytes
harness-creation.properties
460 Bytes
isa-correctness-witness.properties
631 Bytes
java.properties
468 Bytes
lassoRankerAnalysis.properties
2.2 kB
ldv-bam.properties
4.3 kB
lockator
linux.properties
2.2 kB
lockStatistics-core-lightweight.properties
578 Bytes
lockStatistics-core.properties
1.3 kB
lockStatistics-linux-lightweight.properties
313 Bytes
lockStatistics-linux.properties
306 Bytes
lockStatistics-predicate.properties
1.7 kB
lockator-core.properties
918 Bytes
sharedAnalysis-core.properties
732 Bytes
sharedAnalysis-linux.properties
1.3 kB
overflow.properties
576 Bytes
parallelBam.properties
771 Bytes
policy.properties
1.5 kB
pred-globalInv.properties
463 Bytes
predicateAnalysis--overflow.properties
856 Bytes
predicateAnalysis-ABE.properties
936 Bytes
predicateAnalysis-ABEl.properties
807 Bytes
predicateAnalysis-ABElf.properties
816 Bytes
predicateAnalysis-ImpactAbstractionRefiner.properties
911 Bytes
predicateAnalysis-ImpactRefiner.properties
1.0 kB
predicateAnalysis-Kojak.properties
1.5 kB
predicateAnalysis-PredAbsRefiner-ABEl.properties
870 Bytes
predicateAnalysis-PredAbsRefiner.properties
714 Bytes
predicateAnalysis-Slab.properties
1.8 kB
predicateAnalysis-SlicingAbstractionsAbstractionRefiner.properties
920 Bytes
predicateAnalysis-SlicingAbstractionsRefiner.properties
994 Bytes
predicateAnalysis-bam-rec.properties
1.9 kB
predicateAnalysis-bam.properties
1.0 kB
predicateAnalysis-linear.properties
739 Bytes
predicateAnalysis.properties
997 Bytes
predicateAnalysisBackward.properties
1.2 kB
resource-limits.properties
316 Bytes
slicing-incremental.properties
516 Bytes
slicing.properties
1.2 kB
smg2-CEGAR.properties
1.5 kB
smg2-concrete-memory-access.properties
744 Bytes
smg2-value-no-abstraction.properties
2.8 kB
smg2.properties
2.5 kB
svcomp25--predicateAnalysis-cex-check.properties
893 Bytes
symbolicExecution.properties
804 Bytes
terminationToSafety.properties
839 Bytes
testing
testCaseGeneration-bmc.properties
1.2 kB
testCaseGeneration-cmc.properties
517 Bytes
testCaseGeneration-predicateAnalysis.properties
868 Bytes
testCaseGeneration-symbolicExecution-Cegar-CEX.properties
1.7 kB
testCaseGeneration-valueAnalysis.properties
1.1 kB
traversal-random-weighted-assume-count.properties
1.1 kB
traversal-random-weighted-depth.properties
882 Bytes
valueAnalysis--overflow.properties
264 Bytes
valueAnalysis-Cegar.properties
1.4 kB
valueAnalysis-NoCegar-weightedTraversal-depth.properties
363 Bytes
valueAnalysis-NoCegar-weightedTraversal.properties
551 Bytes
valueAnalysis-bam-rec.properties
821 Bytes
valueAnalysis-bam.properties
776 Bytes
valueAnalysis.properties
1.4 kB
weakestPrecondition.properties
730 Bytes
witness-export.properties
985 Bytes
witness-validation--overflow.properties
1.0 kB
witness-validation.properties
1.3 kB
invariantGeneration-incremental.properties
902 Bytes
invariantGeneration.properties
755 Bytes
kInduction-dfInvariants.properties
889 Bytes
kInduction-kidfInvariants.properties
1.0 kB
kInduction-kipdrInvariants.properties
598 Bytes
kInduction-kipdrdfInvariants.properties
1.0 kB
kInduction-linear-dfInvariants.properties
837 Bytes
kInduction-linear-kidfInvariants.properties
1.0 kB
kInduction-linear.properties
415 Bytes
kInduction-plain.properties
443 Bytes
kInduction.properties
454 Bytes
lassoRankerAnalysis.properties
784 Bytes
ldv-bam.properties
839 Bytes
ldv-bitprecise.properties
943 Bytes
ldv.properties
3.2 kB
liveVariables.properties
1.1 kB
lockator-linux-lightweight.properties
454 Bytes
lockator-linux.properties
442 Bytes
pred-Invgen-parallel.properties
756 Bytes
pred-Invgen-restart.properties
1.6 kB
pred-Invgen-restart3.properties
1.6 kB
predicateAnalysis--overflow.properties
715 Bytes
predicateAnalysis-ImpactAbstractionRefiner-ABEl.properties
1.0 kB
predicateAnalysis-ImpactGlobalRefiner-ABEl.properties
1.2 kB
predicateAnalysis-ImpactRefiner-ABEl.properties
1.1 kB
predicateAnalysis-ImpactRefiner-ABElf.properties
1.1 kB
predicateAnalysis-ImpactRefiner-SBE.properties
1.1 kB
predicateAnalysis-Kojak-ABEl--overflow.properties
524 Bytes
predicateAnalysis-Kojak-ABEl.properties
1.2 kB
predicateAnalysis-Kojak-SBE.properties
1.3 kB
predicateAnalysis-NoCEGAR.properties
930 Bytes
predicateAnalysis-PredAbsRefiner-ABEl.properties
1.0 kB
predicateAnalysis-PredAbsRefiner-ABElf.properties
836 Bytes
predicateAnalysis-PredAbsRefiner-SBE.properties
914 Bytes
predicateAnalysis-RefinementSelection-ABE.properties
1.1 kB
predicateAnalysis-RefinementSelection-SBE.properties
1.1 kB
predicateAnalysis-Slab-DBE.properties
930 Bytes
predicateAnalysis-Slab-SBE.properties
867 Bytes
predicateAnalysis-SlicingAbstractionsAbstractionRefiner-ABEl.properties
935 Bytes
predicateAnalysis-SlicingAbstractionsGlobalRefiner-ABEl.properties
1.1 kB
predicateAnalysis-SlicingAbstractionsRefiner-ABEl.properties
979 Bytes
predicateAnalysis-SlicingAbstractionsRefiner-ABElf.properties
980 Bytes
predicateAnalysis-SlicingAbstractionsRefiner-SBE.properties
1.0 kB
predicateAnalysis-arrayAbstraction.properties
358 Bytes
predicateAnalysis-bam-rec--overflow.properties
1.0 kB
predicateAnalysis-bam-rec.properties
661 Bytes
predicateAnalysis-bam.properties
607 Bytes
predicateAnalysis-block.properties
1.4 kB
predicateAnalysis-concurrency--overflow.properties
1.5 kB
predicateAnalysis-concurrency.properties
1.3 kB
predicateAnalysis-faultlocalization-distanceMetrics.properties
444 Bytes
predicateAnalysis-faultlocalization-dstar.properties
363 Bytes
predicateAnalysis-faultlocalization-errinv.properties
381 Bytes
predicateAnalysis-faultlocalization-maxsat.properties
381 Bytes
predicateAnalysis-faultlocalization-maxsatorg.properties
383 Bytes
predicateAnalysis-faultlocalization-ochiai.properties
364 Bytes
predicateAnalysis-faultlocalization-tarantula.properties
367 Bytes
predicateAnalysis-find-null-deref.properties
699 Bytes
predicateAnalysis-invRefiner.properties
528 Bytes
predicateAnalysis-linear.properties
327 Bytes
predicateAnalysis-parallelBam.properties
1.6 kB
predicateAnalysis-pathExploration.properties
1.3 kB
predicateAnalysis-pcc-result-check-arg.properties
381 Bytes
predicateAnalysis-pcc-result-check-partial-reached.properties
565 Bytes
predicateAnalysis-slicing-incremental.properties
541 Bytes
predicateAnalysis-slicing.properties
491 Bytes
predicateAnalysis-with-TraceAbstraction.properties
1.6 kB
predicateAnalysis-with-invariants.properties
462 Bytes
predicateAnalysis.properties
293 Bytes
predicateAnalysisBackward.properties
377 Bytes
properties
coverage-branches.prp
56 Bytes
coverage-branches.prp.license
227 Bytes
coverage-conditions.prp
57 Bytes
coverage-conditions.prp.license
227 Bytes
coverage-error-call.prp
61 Bytes
coverage-error-call.prp.license
227 Bytes
coverage-statements.prp
59 Bytes
coverage-statements.prp.license
227 Bytes
def-behavior.prp
44 Bytes
def-behavior.prp.license
227 Bytes
no-data-race.prp
43 Bytes
no-data-race.prp.license
228 Bytes
no-overflow.prp
42 Bytes
no-overflow.prp.license
227 Bytes
termination.prp
35 Bytes
termination.prp.license
227 Bytes
unreach-call.prp
53 Bytes
unreach-call.prp.license
227 Bytes
unreach-label.prp
46 Bytes
unreach-label.prp.license
227 Bytes
valid-memcleanup.prp
48 Bytes
valid-memcleanup.prp.license
227 Bytes
valid-memsafety.prp
129 Bytes
valid-memsafety.prp.license
227 Bytes
residualProgramGenerator.properties
1.1 kB
smg-ldv-mea.properties
929 Bytes
smg-ldv.properties
2.6 kB
smg-with-valueAnalysis-without-malloc-failure.properties
819 Bytes
smg-with-valueAnalysis.properties
795 Bytes
smg.properties
259 Bytes
smg2-CEGAR.properties
1.2 kB
smg2-concrete-memory-access.properties
820 Bytes
smg2-memsafety-CEGAR.properties
1.2 kB
smg2-memsafety.properties
762 Bytes
smg2-no-abstraction.properties
837 Bytes
smg2-value-no-abstraction.properties
875 Bytes
smg2-value.properties
876 Bytes
smg2.properties
729 Bytes
specification
Assertion.spc
1.7 kB
AssumptionGuidingAutomaton.spc
442 Bytes
BDDCPAErrorLocation.spc
865 Bytes
ErrorLabel.spc
587 Bytes
JavaAssertion.spc
490 Bytes
LDVErrorLabel.spc
504 Bytes
MainEntry.spc
449 Bytes
README.md
526 Bytes
StopAtLeaves.spc
405 Bytes
TargetState.spc
459 Bytes
TerminatingFunctions.spc
476 Bytes
TerminatingStatements.spc
696 Bytes
UninitializedVariables.spc
590 Bytes
datarace.spc
522 Bytes
deadlock.spc
509 Bytes
default.spc
441 Bytes
memorycleanup.spc
456 Bytes
memorysafety-deref.spc
743 Bytes
memorysafety-free.spc
628 Bytes
memorysafety-memtrack.spc
629 Bytes
memorysafety.spc
518 Bytes
modification-bad-state.spc
418 Bytes
modification-usage-present.spc
431 Bytes
modifications-present.spc
428 Bytes
multi-error-call-reachability.spc
794 Bytes
multiPropertyCex.spc
514 Bytes
null-deref.spc
650 Bytes
overflow.spc
527 Bytes
postpone.spc
695 Bytes
sv-comp-datarace.spc
523 Bytes
sv-comp-errorlabel.spc
672 Bytes
sv-comp-memorycleanup.spc
1.1 kB
sv-comp-memorysafety.spc
557 Bytes
sv-comp-overflow.spc
524 Bytes
sv-comp-reachability.spc
813 Bytes
sv-comp-terminatingfunctions.spc
543 Bytes
termination_as_reach.spc
820 Bytes
test-comp-terminatingfunctions.spc
594 Bytes
svcomp25--datarace.properties
971 Bytes
svcomp25--memorycleanup.properties
798 Bytes
svcomp25--memorysafety.properties
1.5 kB
svcomp25--overflow.properties
1.8 kB
svcomp25--termination.properties
1.3 kB
svcomp25.properties
3.7 kB
symbolicExecution-Cegar-no-cex-check.properties
1.1 kB
symbolicExecution-Cegar-slicing-incremental.properties
1.3 kB
symbolicExecution-Cegar-slicing.properties
793 Bytes
symbolicExecution-Cegar.properties
1.3 kB
symbolicExecution-NoCegar-slicing-incremental.properties
521 Bytes
symbolicExecution-NoCegar-slicing.properties
863 Bytes
symbolicExecution-NoCegar-weightedTraversal.properties
677 Bytes
symbolicExecution-NoCegar.properties
486 Bytes
symbolicExecution-fromValuePrecision.properties
1.3 kB
symbolicExecution.properties
485 Bytes
terminationAnalysis.properties
791 Bytes
terminationAnalysisWithRecursion.properties
1.4 kB
terminationToSafety.properties
1.1 kB
testCaseGeneration-bmc.properties
673 Bytes
testCaseGeneration-circular-bmc+symbolic-cmc.properties
1.0 kB
testCaseGeneration-circular-bmc+symbolic.properties
1.1 kB
testCaseGeneration-circular-value+predicate-cmc.properties
1.1 kB
testCaseGeneration-circular-value+predicate.properties
1.1 kB
testCaseGeneration-parallel-bmc+symbolic.properties
469 Bytes
testCaseGeneration-parallel-value+predicate.properties
443 Bytes
testCaseGeneration-predicateAnalysis.properties
658 Bytes
testCaseGeneration-symbolicExecution-Cegar-CEX.properties
668 Bytes
testCaseGeneration-symbolicExecution-Cegar.properties
1.2 kB
testCaseGeneration-symbolicExecution.properties
1.2 kB
testCaseGeneration-valueAnalysis.properties
654 Bytes
testcomp25.properties
1.1 kB
uninitVars.properties
501 Bytes
unmaintained
README.md
660 Bytes
apronAnalysis-Cegar.properties
578 Bytes
apronAnalysis-proofcheck.properties
765 Bytes
apronAnalysis.properties
722 Bytes
cex-checks
octagonAnalysis-as-cex-check.properties
329 Bytes
octagonAnalysis-float-as-cex-check.properties
335 Bytes
combinations-value+apron-cmc-proofcheck.properties
1.2 kB
combinations-value+pred-cmc-proofcheck.properties
1.2 kB
combinations-value10+apron-cmc.properties
1.3 kB
combinations-valueCegar60+apronCegar-cmc.properties
1.4 kB
components
apronAnalysis-Cegar-use-cmc-condition.properties
1.1 kB
apronAnalysis-use-cmc-condition-proofcheck.properties
902 Bytes
apronAnalysis-use-cmc-condition.properties
823 Bytes
kInduction
formulaSlicing-kInduction.properties
894 Bytes
pdr-with-cex-check.properties
902 Bytes
pdr.properties
1.4 kB
policy-kInduction.properties
1.1 kB
svcomp15-kInduction.properties
391 Bytes
svcomp16-kInduction--overflow.properties
1.7 kB
svcomp16-kInduction.properties
1.2 kB
svcomp17-kInduction.properties
1.6 kB
octagonAnalysis-mergeWidening-cexCheck-restart-float.properties
507 Bytes
octagonAnalysis-mergeWidening-cexCheck-restart-int.properties
413 Bytes
predicateAnalysis-use-cmc-condition-proofcheck.properties
1.6 kB
svcomp13--combinations-predicate.properties
2.1 kB
svcomp13--combinations-value.properties
1.2 kB
svcomp14--01-challenge.properties
1.2 kB
svcomp14--01-valueAnalysis-simple.properties
781 Bytes
svcomp14--02-challenge.properties
435 Bytes
svcomp14--02-valueAnalysis.properties
1.3 kB
svcomp14--03-predicateAnalysis.properties
525 Bytes
svcomp14--04-predicateAnalysis-ABElf.properties
494 Bytes
svcomp14--05-predicateAnalysis-bitprecise.properties
602 Bytes
svcomp15--01-valueAnalysis.properties
771 Bytes
svcomp15--02-valueAnalysis-itp.properties
884 Bytes
svcomp15--03-bmc-k-induction.properties
907 Bytes
svcomp15--04-predicateAnalysis.properties
550 Bytes
svcomp15--05-predicateAnalysis-bitprecise.properties
604 Bytes
svcomp15--recursion.properties
1.5 kB
svcomp16--01-valueAnalysis.properties
938 Bytes
svcomp16--02-valueAnalysis-itp.properties
1.0 kB
svcomp16--03-bmc-k-induction.properties
886 Bytes
svcomp16--04-predicateAnalysis-bitprecise.properties
634 Bytes
svcomp16--concurrency.properties
526 Bytes
svcomp16--recursion.properties
902 Bytes
svcomp17--01-valueAnalysis.properties
969 Bytes
svcomp17--02-valueAnalysis-itp.properties
1.1 kB
svcomp17--03-predicateAnalysis-bitprecise.properties
802 Bytes
svcomp17--04-bmc-k-induction.properties
1.1 kB
svcomp17--concurrency.properties
381 Bytes
svcomp17--invariantGeneration-seq-predicateAnalysis-bitprecise.properties
1.8 kB
svcomp17--invariantGeneration-seq-valueAnalysis.properties
718 Bytes
svcomp17--invariantGeneration-seq.properties
2.0 kB
svcomp17--recursion.properties
935 Bytes
svcomp18--01-valueAnalysis.properties
1.1 kB
svcomp18--02-valueAnalysis-itp.properties
1.0 kB
svcomp18--03-predicateAnalysis.properties
635 Bytes
svcomp18--04-kInduction.properties
942 Bytes
svcomp18--concurrency.properties
2.1 kB
svcomp18--recursion.properties
757 Bytes
svcomp19--concurrency.properties
542 Bytes
svcomp19--configselection-restart-valueAnalysis-predicateAnalysis-fallbacks.properties
1.2 kB
svcomp19--termination-01.properties
719 Bytes
svcomp19--termination-recursion.properties
1.3 kB
svcomp21--01-symbolicExecution.properties
756 Bytes
svcomp21--01-valueAnalysis.properties
1.2 kB
svcomp21--02-valueAnalysis-itp.properties
1.1 kB
svcomp21--03-predicateAnalysis.properties
635 Bytes
svcomp21--04-kInduction.properties
946 Bytes
svcomp21--concurrency.properties
715 Bytes
svcomp21--recursion.properties
757 Bytes
svcomp21--termination-01.properties
645 Bytes
svcomp21--termination-recursion.properties
1.5 kB
svcomp22--01-symbolicExecution.properties
756 Bytes
svcomp22--01-valueAnalysis.properties
1.2 kB
svcomp22--02-valueAnalysis-itp.properties
1.1 kB
svcomp22--03-predicateAnalysis-check-cex.properties
778 Bytes
svcomp22--03-predicateAnalysis.properties
635 Bytes
svcomp22--04-kInduction.properties
946 Bytes
svcomp22--concurrency.properties
715 Bytes
svcomp22--configselection-restart-bmc-fallbacks.properties
989 Bytes
svcomp22--configselection-restart-symbolicExecution-valueAnalysis-predicateAnalysis-IMC.properties
1.3 kB
svcomp22--configselection-restart-symbolicExecution-valueAnalysis-predicateAnalysis-fallbacks-check-cex.properties
1.3 kB
svcomp22--configselection-restart-symbolicExecution-valueAnalysis-predicateAnalysis-fallbacks.properties
1.3 kB
svcomp22--configselection-restart-valueAnalysis-fallbacks.properties
1.1 kB
svcomp22--configselection-restartcomponent-predicateAnalysis-end.properties
578 Bytes
svcomp22--configselection-restartcomponent-valueAnalysis-itp-end.properties
862 Bytes
svcomp22--configselection-restartcomponent-valueAnalysis.properties
1.1 kB
svcomp22--configselection-singleconfig-bmc.properties
723 Bytes
svcomp22--recursion.properties
935 Bytes
svcomp22--termination-01.properties
645 Bytes
svcomp22--termination-recursion.properties
1.5 kB
svcomp23--01-symbolicExecution.properties
756 Bytes
svcomp23--02-valueAnalysis-itp.properties
1.1 kB
svcomp23--03-predicateAnalysis.properties
635 Bytes
svcomp23--04-kInduction.properties
946 Bytes
svcomp23--complexLoops-kInduction.properties
779 Bytes
svcomp23--concurrency.properties
715 Bytes
svcomp23--configselection-restart-bmc-fallbacks.properties
989 Bytes
svcomp23--configselection-restart-valueAnalysis-fallbacks.properties
1.1 kB
svcomp23--configselection-restartcomponent-predicateAnalysis-end.properties
578 Bytes
svcomp23--configselection-restartcomponent-valueAnalysis-itp-end.properties
862 Bytes
svcomp23--configselection-restartcomponent-valueAnalysis.properties
1.1 kB
svcomp23--configselection-singleconfig-bmc.properties
723 Bytes
svcomp23--multipleLoops-dataFlow.properties
722 Bytes
svcomp23--multipleLoops-kInduction.properties
751 Bytes
svcomp23--multipleLoops-predicateAnalysis.properties
635 Bytes
svcomp23--multipleLoops-symbolicExecution.properties
756 Bytes
svcomp23--multipleLoops-valueAnalysis-Cegar.properties
1.1 kB
svcomp23--multipleLoopsConfig.properties
1.4 kB
svcomp23--recursion.properties
935 Bytes
svcomp23--singleLoop-IMC.properties
763 Bytes
svcomp23--singleLoop-dataFlow.properties
722 Bytes
svcomp23--singleLoop-kInduction.properties
693 Bytes
svcomp23--singleLoop-predicateAnalysis.properties
635 Bytes
svcomp23--singleLoop-symbolicExecution.properties
756 Bytes
svcomp23--singleLoop-valueAnalysis-Cegar.properties
1.1 kB
svcomp23--singleLoopConfig.properties
1.4 kB
svcomp23--termination-01.properties
725 Bytes
svcomp23--termination-recursion.properties
1.6 kB
svcomp24--complexLoops-kInduction.properties
862 Bytes
svcomp24--concurrency.properties
715 Bytes
svcomp24--configselection-restart-bmc-fallbacks.properties
989 Bytes
svcomp24--configselection-restart-valueAnalysis-fallbacks.properties
1.1 kB
svcomp24--configselection-restartcomponent-predicateAnalysis-end.properties
578 Bytes
svcomp24--configselection-restartcomponent-valueAnalysis-itp-end.properties
862 Bytes
svcomp24--configselection-restartcomponent-valueAnalysis.properties
1.1 kB
svcomp24--configselection-singleconfig-bmc.properties
723 Bytes
svcomp24--multipleLoops-dataFlow.properties
685 Bytes
svcomp24--multipleLoops-kInduction.properties
834 Bytes
svcomp24--multipleLoops-predicateAnalysis.properties
635 Bytes
svcomp24--multipleLoops-symbolicExecution.properties
756 Bytes
svcomp24--multipleLoops-valueAnalysis-Cegar.properties
1.2 kB
svcomp24--multipleLoopsConfig.properties
1.4 kB
svcomp24--recursion.properties
935 Bytes
svcomp24--singleLoop-IMC.properties
763 Bytes
svcomp24--singleLoop-dataFlow.properties
685 Bytes
svcomp24--singleLoop-predicateAnalysis.properties
635 Bytes
svcomp24--singleLoop-symbolicExecution.properties
756 Bytes
svcomp24--singleLoop-valueAnalysis-Cegar.properties
1.2 kB
svcomp24--singleLoopConfig.properties
1.4 kB
svcomp24--termination-01.properties
1.7 kB
svcomp24--termination-02.properties
810 Bytes
svcomp24--termination-recursion.properties
1.6 kB
testing
testcomp19-generation-predicate.properties
1.4 kB
testcomp19-generation-value.properties
2.2 kB
testcomp20-generation-value.properties
2.3 kB
testcomp22-value+predicate.properties
1.2 kB
valueAnalysis-generate-cmc-condition-proofcheck.properties
1.0 kB
congruence.properties
1.0 kB
formula-slicing-invariants.properties
372 Bytes
formula-slicing-k-induction.properties
631 Bytes
formula-slicing-w-predicate.properties
609 Bytes
formula-slicing.properties
974 Bytes
impactAlgorithm-SBE.properties
731 Bytes
includes
svcomp14--cex-check.properties
910 Bytes
svcomp15--predicateAnalysis-bit-precise-cex-check.properties
909 Bytes
svcomp16--predicateAnalysis-bit-precise-cex-check.properties
909 Bytes
svcomp17--predicateAnalysis-bit-precise-cex-check.properties
896 Bytes
svcomp18--predicateAnalysis-cex-check.properties
896 Bytes
svcomp21--predicateAnalysis-cex-check.properties
896 Bytes
svcomp22--predicateAnalysis-cex-check.properties
896 Bytes
svcomp23--predicateAnalysis-cex-check.properties
896 Bytes
svcomp24--predicateAnalysis-cex-check.properties
896 Bytes
interval-propertycheck.properties
553 Bytes
intervalAnalysis-bam-rec.properties
759 Bytes
intervalAnalysis-bam.properties
761 Bytes
intervalAnalysis-concurrency.properties
1.4 kB
intervalAnalysis-join.properties
299 Bytes
intervalAnalysis-parallelBam.properties
767 Bytes
intervalAnalysis.properties
597 Bytes
lpi-svcomp16.properties
685 Bytes
ltl.properties
3.3 kB
octagonAnalysis-float.properties
799 Bytes
octagonAnalysis-mergeJoin-cexCheck.properties
473 Bytes
octagonAnalysis-mergeJoin.properties
351 Bytes
octagonAnalysis-mergeWidening-cexCheck.properties
544 Bytes
octagonAnalysis-mergeWidening.properties
355 Bytes
octagonAnalysis-refiner-float.properties
363 Bytes
octagonAnalysis-refiner-int.properties
362 Bytes
octagonAnalysis-refiner.properties
628 Bytes
octagonAnalysis-restart-float.properties
432 Bytes
octagonAnalysis-restart-int.properties
675 Bytes
octagonAnalysis.properties
766 Bytes
pdr-dfInvariants.properties
996 Bytes
policy-bam.properties
1.0 kB
policy-interpolation-refinement.properties
616 Bytes
policy-intervals.properties
365 Bytes
policy-invariants.properties
499 Bytes
policy-k-induction.properties
612 Bytes
policy-mathsat.properties
397 Bytes
policy-overflow.properties
694 Bytes
policy-refinement.properties
779 Bytes
policy-slicing.properties
713 Bytes
policy-value.properties
1.2 kB
policy.properties
406 Bytes
portfolio-MPI.properties
1.0 kB
predicateAnalysis-ToleranceConstraintsExtraction-PLUS.properties
659 Bytes
predicateAnalysis-proofcheck-states.properties
836 Bytes
predicatedAnalysis-Interval.properties
1.5 kB
predicatedAnalysis-Sign.properties
1.5 kB
predicatedAnalysis-Uninit.properties
1.4 kB
predicatedAnalysis-Value.properties
1.5 kB
reachingdef-value.properties
575 Bytes
reachingdefinition.properties
548 Bytes
reachingdefinitionNoLocation.properties
486 Bytes
sign-interval.properties
570 Bytes
signAnalysis-propertycheck.properties
490 Bytes
signAnalysis.properties
422 Bytes
smg-old.properties
1.3 kB
svcomp12-bam-funpoint.properties
1.7 kB
svcomp12-bam.properties
1.4 kB
svcomp12.properties
2.0 kB
svcomp13--combinations.properties
1.1 kB
svcomp13--valueItp-pred.properties
1.8 kB
svcomp14--memorysafety.properties
1.7 kB
svcomp14-challenge.properties
1.5 kB
svcomp14.properties
2.0 kB
svcomp15--memorysafety.properties
1.9 kB
svcomp15.properties
2.6 kB
svcomp16--k-induction-overflow.properties
971 Bytes
svcomp16--k-induction.properties
857 Bytes
svcomp16--memorysafety.properties
2.1 kB
svcomp16--overflow.properties
1.7 kB
svcomp16-bam.properties
1.9 kB
svcomp16.properties
2.7 kB
svcomp17--memorysafety.properties
2.3 kB
svcomp17--overflow.properties
514 Bytes
svcomp17--termination.properties
625 Bytes
svcomp17-k-induction--overflow.properties
2.8 kB
svcomp17-k-induction.properties
1.0 kB
svcomp17.properties
3.0 kB
svcomp18--memorysafety.properties
2.3 kB
svcomp18--overflow.properties
1.5 kB
svcomp18--termination.properties
1.1 kB
svcomp18-bam-bnb.properties
1.4 kB
svcomp18.properties
2.9 kB
svcomp19--memorycleanup.properties
1.0 kB
svcomp19--memorysafety.properties
2.3 kB
svcomp19--termination.properties
1.3 kB
svcomp19-bam-bnb.properties
491 Bytes
svcomp19.properties
3.2 kB
svcomp20.properties
774 Bytes
svcomp21--memorycleanup.properties
1.0 kB
svcomp21--memorysafety.properties
2.3 kB
svcomp21--overflow.properties
1.5 kB
svcomp21--termination.properties
1.3 kB
svcomp21-bam-bnb.properties
599 Bytes
svcomp21.properties
3.3 kB
svcomp22--memorycleanup.properties
1.0 kB
svcomp22--memorysafety.properties
2.3 kB
svcomp22--overflow.properties
1.5 kB
svcomp22--termination.properties
1.3 kB
svcomp22-IMC.properties
3.5 kB
svcomp22-bam-smg.properties
928 Bytes
svcomp22-check-cex.properties
3.4 kB
svcomp22-smg-ldv-cleanup.properties
513 Bytes
svcomp22-smg-ldv.properties
571 Bytes
svcomp22.properties
3.3 kB
svcomp23--datarace.properties
980 Bytes
svcomp23--memorycleanup.properties
1.0 kB
svcomp23--memorysafety.properties
2.3 kB
svcomp23--overflow.properties
1.7 kB
svcomp23--termination.properties
1.3 kB
svcomp23.properties
3.5 kB
svcomp24--datarace.properties
980 Bytes
svcomp24--memorycleanup.properties
1.0 kB
svcomp24--memorysafety.properties
2.5 kB
svcomp24--overflow.properties
1.8 kB
svcomp24--termination.properties
1.3 kB
svcomp24.properties
3.7 kB
testcomp19.properties
1.3 kB
testcomp20.properties
1.4 kB
testcomp21.properties
1.7 kB
testcomp22.properties
1.0 kB
testcomp23.properties
1.0 kB
testcomp24.properties
1.1 kB
valueAnalysis-apronAnalysis-proofcheck.properties
838 Bytes
valueAnalysis-pcc-trac-all.properties
591 Bytes
valueAnalysis-predicateAnalysis-proofcheck.properties
926 Bytes
valueAnalysis-proofcheck-multiedges-defaultprop.properties
731 Bytes
valueAnalysis-resultcheck.properties
422 Bytes
witness-check.properties
480 Bytes
valueAnalysis--overflow.properties
995 Bytes
valueAnalysis-BDD-bool-3600s.properties
1.3 kB
valueAnalysis-BDD-bool-intEQ-intADD.properties
1.4 kB
valueAnalysis-BDD-bool-intEQ.properties
1.1 kB
valueAnalysis-BDD-bool.properties
1.0 kB
valueAnalysis-Cegar-GlobalRefiner.properties
629 Bytes
valueAnalysis-Cegar-conservative.properties
1.2 kB
valueAnalysis-Cegar-pcc-result-check-arg.properties
383 Bytes
valueAnalysis-Cegar-pcc-result-check-partial-partitioned.properties
768 Bytes
valueAnalysis-Cegar-plain.properties
1.2 kB
valueAnalysis-Cegar-pointer.properties
831 Bytes
valueAnalysis-Cegar-slicing-incremental.properties
1.5 kB
valueAnalysis-Cegar-slicing.properties
1.1 kB
valueAnalysis-Cegar-thresholds.properties
1.1 kB
valueAnalysis-Cegar-weightedTraversal.properties
893 Bytes
valueAnalysis-Cegar-with-cex-check.properties
727 Bytes
valueAnalysis-Cegar.properties
1.1 kB
valueAnalysis-ConcreteCounterexampleCheck.properties
1.7 kB
valueAnalysis-NoCegar-SSC.properties
2.2 kB
valueAnalysis-NoCegar-join.properties
739 Bytes
valueAnalysis-NoCegar-plain.properties
632 Bytes
valueAnalysis-NoCegar-slicing-incremental.properties
1.0 kB
valueAnalysis-NoCegar-weightedTraversal-depth.properties
398 Bytes
valueAnalysis-NoCegar-weightedTraversal.properties
392 Bytes
valueAnalysis-NoCegar.properties
890 Bytes
valueAnalysis-bam-rec.properties
653 Bytes
valueAnalysis-bam.properties
655 Bytes
valueAnalysis-concurrency.properties
2.1 kB
valueAnalysis-featureVars.properties
1.9 kB
valueAnalysis-java-NoCegar-RTT.properties
650 Bytes
valueAnalysis-java-NoCegar.properties
777 Bytes
valueAnalysis-parallelBam-Cegar.properties
840 Bytes
valueAnalysis-parallelBam.properties
749 Bytes
valueAnalysis-predicateAnalysis-Cegar-ABEl.properties
943 Bytes
valueAnalysis-predicateAnalysis-Cegar-ABElf-conservative.properties
1.5 kB
valueAnalysis-predicateAnalysis-Cegar-ABElf.properties
1.8 kB
valueAnalysis-predicateAnalysis-bam-rec.properties
694 Bytes
valueAnalysis-predicateAnalysis-bam.properties
646 Bytes
valueAnalysis.properties
275 Bytes
violation-witness-validation-datarace.properties
924 Bytes
violation-witness-validation-termination.properties
676 Bytes
violation-witness-validation-valueAnalysis-concurrency.properties
478 Bytes
violation-witness-validation.properties
1.4 kB
wacsl.properties
608 Bytes
weakestPrecondition.properties
284 Bytes
witness-joiner.properties
925 Bytes
witness-validation--memorycleanup.properties
778 Bytes
witness-validation--memorysafety.properties
1.7 kB
witness-validation--overflow.properties
792 Bytes
witness-validation--recursive.properties
429 Bytes
witness-validation-predicateAnalysis.properties
456 Bytes
witness-validation-valueAnalysis.properties
643 Bytes
witness2reach.properties
774 Bytes
witness2test--memorysafety.properties
1.1 kB
witness2test--overflow.properties
795 Bytes
witness2test.properties
1.3 kB
witnessValidation.properties
395 Bytes
cpachecker.jar
12.1 MB
doc
Achievements.md
48.8 kB
Benchmark.md
4.1 kB
Configuration.md
8.6 kB
ConfigurationOptions.txt
209.4 kB
Developing.md
12.8 kB
JavascriptTesting.md
6.7 kB
Logging.md
8.2 kB
Mailing.md
1.3 kB
Profile.md
6.4 kB
PythonStyleGuide.md
616 Bytes
README.md
1.5 kB
Report.md
2.9 kB
ReportTemplateStyleGuide.md
12.7 kB
SpecificationAutomata.md
19.5 kB
StyleGuide.md
17.4 kB
Test.md
4.8 kB
cpachecker.bib
11.6 kB
examples
benchmark-cpachecker.xml
4.4 kB
example-const.c
559 Bytes
example-multithread.c
1.5 kB
example-nonterminating.c
420 Bytes
example-safe-memsafety.c
563 Bytes
example-safe.c
669 Bytes
example-sym.c
681 Bytes
example-terminating.c
426 Bytes
example-unsafe-memsafety.c
586 Bytes
example-unsafe.c
666 Bytes
example.c
519 Bytes
example_bug.c
1.3 kB
predmap.txt
20.1 kB
predmap.txt.license
221 Bytes
starexec_run_predicateAnalysis.sh
592 Bytes
tutorials
README.md
470 Bytes
fault-localization
FaultLocalization.md
21.6 kB
factorization-plain.c
672 Bytes
report.html
3.8 MB
interpret-statistics.md
8.1 kB
test-harness.md
6.0 kB
lib
README.md
2.2 kB
apron.jar
90.5 kB
apron.jar.license
206 Bytes
apron.md
1.1 kB
gmp.jar
13.5 kB
gmp.jar.license
206 Bytes
java
runtime
CVC4.jar
215.7 kB
animal-sniffer-annotations.jar
3.5 kB
antlr4-runtime.jar
336.8 kB
batik-awt-util.jar
422.4 kB
batik-constants.jar
8.3 kB
batik-dom.jar
182.6 kB
batik-ext.jar
10.1 kB
batik-i18n.jar
11.3 kB
batik-svggen.jar
224.9 kB
batik-util.jar
127.2 kB
batik-xml.jar
33.5 kB
bitwuzla.jar
35.2 kB
checker-qual.jar
231.5 kB
com.microsoft.z3.jar
187.6 kB
common.jar
338.9 kB
commons-io.jar
327.1 kB
cvc5.jar
58.8 kB
error_prone_annotations.jar
19.4 kB
failureaccess.jar
4.7 kB
guava.jar
3.1 MB
icu4j.jar
7.3 MB
j2objc-annotations.jar
12.5 kB
jackson-annotations.jar
75.7 kB
jackson-core.jar
365.2 kB
jackson-databind.jar
1.5 MB
jackson-dataformat-yaml.jar
51.4 kB
java-cup-runtime.jar
31.0 kB
java-smt.jar
1.1 MB
javabdd.jar
237.4 kB
jdd.jar
138.8 kB
jhoafparser.jar
268.7 kB
jna.jar
1.5 MB
jsr305.jar
19.9 kB
lasso-ranker.jar
262.9 kB
libLLVM-9.so
69.3 MB
libbitwuzlaj.so
6.0 MB
libboolector.so
3.4 MB
libcvc4.so
19.0 MB
libcvc4jni.so
1.2 MB
libcvc4parser.so
2.8 MB
libcvc5.so
20.0 MB
libcvc5jni.so
393.8 kB
libcvc5parser.so
2.0 MB
libedit.so.2
215.5 kB
libffi.so.6
34.8 kB
libmathsat5j.so
9.6 MB
libminisat.so
109.3 kB
libopensmt.so
3.6 MB
libopensmtjava.so
1.2 MB
libpicosat.so
84.1 kB
libpoly.so
431.0 kB
libpolyxx.so
317.3 kB
libtinfo.so.5
177.4 kB
libz3.dylib
24.5 MB
libz3.so
32.3 MB
libz3java.dylib
222.9 kB
libz3java.so
328.5 kB
listenablefuture.jar
2.2 kB
llvm-j.jar
91.1 kB
opensmt.jar
36.9 kB
org.eclipse.cdt.core.jar
6.2 MB
org.eclipse.core.contenttype.jar
104.9 kB
org.eclipse.core.jobs.jar
118.5 kB
org.eclipse.core.resources.jar
921.7 kB
org.eclipse.core.runtime.jar
79.9 kB
org.eclipse.equinox.common.jar
154.1 kB
org.eclipse.equinox.preferences.jar
140.2 kB
org.eclipse.jdt.core.compiler.batch.jar
3.2 MB
org.eclipse.jdt.core.jar
4.2 MB
org.eclipse.osgi.jar
1.5 MB
org.osgi.service.prefs.jar
20.2 kB
pjbdd.jar
262.6 kB
princess-parser_2.13.jar
147.7 kB
princess-smt-parser_2.13.jar
151.5 kB
princess_2.13.jar
5.8 MB
scala-library.jar
5.9 MB
scala-parser-combinators_2.13.jar
225.3 kB
smtinterpol.jar
1.6 MB
snakeyaml.jar
310.1 kB
spotbugs-annotations.jar
15.3 kB
ultimate-core-rcp.jar
352.9 kB
ultimate-core.jar
215.4 kB
ultimate-icfg-transformer.jar
577.4 kB
ultimate-java-cup.jar
158.8 kB
ultimate-library-smtlib-utils.jar
765.8 kB
ultimate-library-smtlib.jar
230.8 kB
ultimate-model-checker-utils.jar
917.1 kB
ultimate-model.jar
82.0 kB
ultimate-smt-solver-bridge.jar
95.3 kB
ultimate-util.jar
453.9 kB
java-runtime-licenses-2.txt
2.4 kB
java-runtime-licenses.txt
3.4 kB
jsylvan.jar
7.8 kB
jsylvan.jar.license
73 Bytes
python-benchmark
BenchExec-3.26-py3-none-any.whl
727.2 kB
BenchExec-3.26-py3-none-any.whl.license
201 Bytes
PyYAML-6.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
705.5 kB
PyYAML-6.0.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.license
105 Bytes
README.md
1.2 kB
certifi-2024.7.4-py3-none-any.whl
163.0 kB
certifi-2024.7.4-py3-none-any.whl.license
121 Bytes
charset_normalizer-3.3.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
142.1 kB
charset_normalizer-3.3.2-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.license
132 Bytes
coloredlogs-15.0.1-py2.py3-none-any.whl
46.0 kB
coloredlogs-15.0.1-py2.py3-none-any.whl.license
123 Bytes