├── .gitignore ├── LICENSE ├── README.md ├── badger ├── .classpath ├── .externalToolBuilders │ └── AntBuilder.launch ├── .project ├── build.xml ├── jpf.properties ├── lib │ ├── asm-5.2.jar │ ├── commons-io-2.4.jar │ └── commons-lang3-3.7.jar └── src │ ├── examples │ ├── InsertionSortFuzz.java │ └── InsertionSortSym.java │ └── main │ └── edu │ └── cmu │ └── sv │ └── badger │ ├── analysis │ ├── BranchCountState.java │ ├── CoverageAnalyzer.java │ ├── CoverageExplorationHeuristic.java │ ├── ExplorationHeuristic.java │ ├── InstructionCountState.java │ ├── State.java │ ├── StateBuilder.java │ ├── StateBuilderAdapter.java │ ├── StateBuilderFactory.java │ ├── TrieAnalyzer.java │ ├── WCAAnalyzer.java │ └── WCAExplorationHeuristic.java │ ├── app │ ├── BadgerInput.java │ ├── BadgerInputKeys.java │ ├── BadgerRunner.java │ └── SymExe.java │ ├── io │ ├── ByteImageProcessorIOUtils.java │ ├── ByteTextIOUtils.java │ ├── CharArrayIOUtils.java │ ├── CharArrayIOUtilsEngagement.java │ ├── DynamicCharArrayIOUtils.java │ ├── DynamicIntArrayIOUtils.java │ ├── FullIntArrayIOUtils.java │ ├── IOUtils.java │ ├── ImageByteDoubleIOUtils.java │ ├── ImageDoubleDoubleIOUtils.java │ ├── ImageProcessorIOUtils.java │ ├── IntArrayIOUtils.java │ └── MultipleIntArrayIOUtils.java │ ├── listener │ ├── ConcreteInput2TrieListener.java │ ├── IBehavior.java │ ├── MetricListener.java │ ├── SolverCallListener.java │ ├── SymCreteCostListener.java │ └── TrieGuidanceListener.java │ ├── trie │ ├── Trie.java │ ├── TrieNode.java │ ├── TrieNodeType.java │ ├── TriePrintToConsole.java │ └── TriePrintToDot.java │ └── util │ ├── BytecodeUtils.java │ └── Statistics.java ├── evaluation ├── 01_insertionsort │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── in_dir │ │ │ └── example │ │ └── src │ │ │ └── InsertionSort.java │ ├── results │ │ └── results_insertionsort.xlsx │ ├── scripts │ │ ├── run-insertion-badger.sh │ │ ├── run-insertion-kelinci.sh │ │ ├── run-insertion-kelinciwca-latest.sh │ │ ├── run-insertion-kelinciwca.sh │ │ └── run-insertion-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ └── InsertionSort.java ├── 02_quicksort │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── in_dir │ │ │ └── example │ │ └── src │ │ │ ├── Arrays.java │ │ │ └── QuickSortJDK15.java │ ├── results │ │ └── results_quicksort.xlsx │ ├── scripts │ │ ├── run-quicksort-badger.sh │ │ ├── run-quicksort-kelinci.sh │ │ ├── run-quicksort-kelinciwca.sh │ │ └── run-quicksort-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ ├── Arrays.java │ │ └── QuickSortJDK15.java ├── 03_regex │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── README │ │ ├── in_dir │ │ │ └── lorem-byte.txt │ │ ├── resources-byte │ │ │ ├── lorem-byte.txt │ │ │ ├── popular-regexes │ │ │ │ ├── 10htmllink-byte │ │ │ │ ├── 1username-byte.txt │ │ │ │ ├── 2password-byte │ │ │ │ ├── 3hexcolor-byte │ │ │ │ ├── 4email-byte │ │ │ │ ├── 5imageextension-byte │ │ │ │ ├── 6ipaddress-byte │ │ │ │ ├── 7atime12hour-byte │ │ │ │ ├── 7btime24hour-byte │ │ │ │ ├── 8date-byte │ │ │ │ └── 9html-byte │ │ │ ├── regex-byte.txt │ │ │ └── regex-with-quotes-byte.txt │ │ ├── resources │ │ │ ├── lorem.txt │ │ │ ├── popular-regexes │ │ │ │ ├── 10htmllink │ │ │ │ ├── 1username.txt │ │ │ │ ├── 2password │ │ │ │ ├── 3hexcolor │ │ │ │ ├── 4email │ │ │ │ ├── 5imageextension │ │ │ │ ├── 6ipaddress │ │ │ │ ├── 7atime12hour │ │ │ │ ├── 7btime24hour │ │ │ │ ├── 8date │ │ │ │ └── 9html │ │ │ ├── regex-with-quotes.txt │ │ │ └── regex.txt │ │ └── src │ │ │ ├── Regex.java │ │ │ └── regexjdk8 │ │ │ ├── ASCII.java │ │ │ ├── MatchResult.java │ │ │ ├── Matcher.java │ │ │ ├── Pattern.java │ │ │ ├── PatternSyntaxException.java │ │ │ └── UnicodeProp.java │ ├── results │ │ ├── results_regex_10htmllink.xlsx │ │ ├── results_regex_1username.xlsx │ │ ├── results_regex_2password.xlsx │ │ ├── results_regex_3hexcolor.xlsx │ │ ├── results_regex_4email.xlsx │ │ ├── results_regex_5imageextension.xlsx │ │ ├── results_regex_6ipaddress.xlsx │ │ ├── results_regex_7atime12hour.xlsx │ │ ├── results_regex_7btime24hour.xlsx │ │ ├── results_regex_8date.xlsx │ │ ├── results_regex_9html.xlsx │ │ └── results_regex_text.xlsx │ ├── scripts │ │ ├── run-regex-10htmllink-badger.sh │ │ ├── run-regex-10htmllink-kelinci.sh │ │ ├── run-regex-10htmllink-kelinciwca.sh │ │ ├── run-regex-10htmllink-spf.sh │ │ ├── run-regex-1username-badger.sh │ │ ├── run-regex-1username-kelinci.sh │ │ ├── run-regex-1username-kelinciwca.sh │ │ ├── run-regex-1username-spf.sh │ │ ├── run-regex-2password-badger.sh │ │ ├── run-regex-2password-kelinci.sh │ │ ├── run-regex-2password-kelinciwca.sh │ │ ├── run-regex-2password-spf.sh │ │ ├── run-regex-3hexcolor-badger.sh │ │ ├── run-regex-3hexcolor-kelinci.sh │ │ ├── run-regex-3hexcolor-kelinciwca.sh │ │ ├── run-regex-3hexcolor-spf.sh │ │ ├── run-regex-4email-badger.sh │ │ ├── run-regex-4email-kelinci.sh │ │ ├── run-regex-4email-kelinciwca.sh │ │ ├── run-regex-4email-spf.sh │ │ ├── run-regex-5imageextension-badger.sh │ │ ├── run-regex-5imageextension-kelinci.sh │ │ ├── run-regex-5imageextension-kelinciwca.sh │ │ ├── run-regex-5imageextension-spf.sh │ │ ├── run-regex-6ipaddress-badger.sh │ │ ├── run-regex-6ipaddress-kelinci.sh │ │ ├── run-regex-6ipaddress-kelinciwca.sh │ │ ├── run-regex-6ipaddress-spf.sh │ │ ├── run-regex-7atime12hour-badger.sh │ │ ├── run-regex-7atime12hour-kelinci.sh │ │ ├── run-regex-7atime12hour-kelinciwca.sh │ │ ├── run-regex-7atime12hour-spf.sh │ │ ├── run-regex-7btime24hour-badger.sh │ │ ├── run-regex-7btime24hour-kelinci.sh │ │ ├── run-regex-7btime24hour-kelinciwca.sh │ │ ├── run-regex-7btime24hour-spf.sh │ │ ├── run-regex-8date-badger.sh │ │ ├── run-regex-8date-kelinci.sh │ │ ├── run-regex-8date-kelinciwca.sh │ │ ├── run-regex-8date-spf.sh │ │ ├── run-regex-9html-badger.sh │ │ ├── run-regex-9html-kelinci.sh │ │ ├── run-regex-9html-kelinciwca.sh │ │ └── run-regex-9html-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ ├── Regex.java │ │ ├── RegexConcrete.java │ │ └── regexjdk8 │ │ ├── ASCII.java │ │ ├── MatchResult.java │ │ ├── Matcher.java │ │ ├── Pattern.java │ │ ├── PatternSyntaxException.java │ │ └── UnicodeProp.java ├── 04_hashtable │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── in_dir │ │ │ └── example │ │ └── src │ │ │ └── HashTable.java │ ├── results │ │ └── results_hashtable.xlsx │ ├── scripts │ │ ├── run-hashtable-badger.sh │ │ ├── run-hashtable-kelinci.sh │ │ ├── run-hashtable-kelinciwca.sh │ │ └── run-hashtable-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ └── HashTable.java ├── 05_compress │ ├── .gitignore │ ├── README │ ├── kelinci_analysis │ │ ├── commons-compress-1.4-instrumented.jar │ │ ├── in_dir │ │ │ └── example │ │ └── src │ │ │ ├── driver │ │ │ ├── Driver.java │ │ │ └── DriverDecompress.java │ │ │ └── org │ │ │ └── apache │ │ │ └── commons │ │ │ └── compress │ │ │ ├── archivers │ │ │ ├── ArchiveEntry.java │ │ │ ├── ArchiveException.java │ │ │ ├── ArchiveInputStream.java │ │ │ ├── ArchiveOutputStream.java │ │ │ ├── ArchiveStreamFactory.java │ │ │ ├── Lister.java │ │ │ ├── ar │ │ │ │ ├── ArArchiveEntry.java │ │ │ │ ├── ArArchiveInputStream.java │ │ │ │ └── ArArchiveOutputStream.java │ │ │ ├── cpio │ │ │ │ ├── CpioArchiveEntry.java │ │ │ │ ├── CpioArchiveInputStream.java │ │ │ │ ├── CpioArchiveOutputStream.java │ │ │ │ ├── CpioConstants.java │ │ │ │ └── CpioUtil.java │ │ │ ├── dump │ │ │ │ ├── Dirent.java │ │ │ │ ├── DumpArchiveConstants.java │ │ │ │ ├── DumpArchiveEntry.java │ │ │ │ ├── DumpArchiveException.java │ │ │ │ ├── DumpArchiveInputStream.java │ │ │ │ ├── DumpArchiveSummary.java │ │ │ │ ├── DumpArchiveUtil.java │ │ │ │ ├── InvalidFormatException.java │ │ │ │ ├── ShortFileException.java │ │ │ │ ├── TapeInputStream.java │ │ │ │ ├── UnrecognizedFormatException.java │ │ │ │ └── UnsupportedCompressionAlgorithmException.java │ │ │ ├── jar │ │ │ │ ├── JarArchiveEntry.java │ │ │ │ ├── JarArchiveInputStream.java │ │ │ │ └── JarArchiveOutputStream.java │ │ │ ├── tar │ │ │ │ ├── TarArchiveEntry.java │ │ │ │ ├── TarArchiveInputStream.java │ │ │ │ ├── TarArchiveOutputStream.java │ │ │ │ ├── TarArchiveSparseEntry.java │ │ │ │ ├── TarBuffer.java │ │ │ │ ├── TarConstants.java │ │ │ │ └── TarUtils.java │ │ │ └── zip │ │ │ │ ├── AbstractUnicodeExtraField.java │ │ │ │ ├── AsiExtraField.java │ │ │ │ ├── ExtraFieldUtils.java │ │ │ │ ├── FallbackZipEncoding.java │ │ │ │ ├── GeneralPurposeBit.java │ │ │ │ ├── JarMarker.java │ │ │ │ ├── NioZipEncoding.java │ │ │ │ ├── Simple8BitZipEncoding.java │ │ │ │ ├── UnicodeCommentExtraField.java │ │ │ │ ├── UnicodePathExtraField.java │ │ │ │ ├── UnixStat.java │ │ │ │ ├── UnparseableExtraFieldData.java │ │ │ │ ├── UnrecognizedExtraField.java │ │ │ │ ├── UnsupportedZipFeatureException.java │ │ │ │ ├── Zip64ExtendedInformationExtraField.java │ │ │ │ ├── Zip64Mode.java │ │ │ │ ├── Zip64RequiredException.java │ │ │ │ ├── ZipArchiveEntry.java │ │ │ │ ├── ZipArchiveInputStream.java │ │ │ │ ├── ZipArchiveOutputStream.java │ │ │ │ ├── ZipConstants.java │ │ │ │ ├── ZipEightByteInteger.java │ │ │ │ ├── ZipEncoding.java │ │ │ │ ├── ZipEncodingHelper.java │ │ │ │ ├── ZipExtraField.java │ │ │ │ ├── ZipFile.java │ │ │ │ ├── ZipLong.java │ │ │ │ ├── ZipShort.java │ │ │ │ └── ZipUtil.java │ │ │ ├── changes │ │ │ ├── Change.java │ │ │ ├── ChangeSet.java │ │ │ ├── ChangeSetPerformer.java │ │ │ └── ChangeSetResults.java │ │ │ ├── compressors │ │ │ ├── CompressorException.java │ │ │ ├── CompressorInputStream.java │ │ │ ├── CompressorOutputStream.java │ │ │ ├── CompressorStreamFactory.java │ │ │ ├── FileNameUtil.java │ │ │ ├── bzip2 │ │ │ │ ├── BZip2CompressorInputStream.java │ │ │ │ ├── BZip2CompressorOutputStream.java │ │ │ │ ├── BZip2Constants.java │ │ │ │ ├── BZip2Utils.java │ │ │ │ ├── CRC.java │ │ │ │ └── Rand.java │ │ │ ├── gzip │ │ │ │ ├── GzipCompressorInputStream.java │ │ │ │ ├── GzipCompressorOutputStream.java │ │ │ │ └── GzipUtils.java │ │ │ ├── pack200 │ │ │ │ ├── InMemoryCachingStreamBridge.java │ │ │ │ ├── Pack200CompressorInputStream.java │ │ │ │ ├── Pack200CompressorOutputStream.java │ │ │ │ ├── Pack200Strategy.java │ │ │ │ ├── Pack200Utils.java │ │ │ │ ├── StreamBridge.java │ │ │ │ └── TempFileCachingStreamBridge.java │ │ │ └── xz │ │ │ │ ├── XZCompressorInputStream.java │ │ │ │ ├── XZCompressorOutputStream.java │ │ │ │ └── XZUtils.java │ │ │ └── utils │ │ │ ├── ArchiveUtils.java │ │ │ ├── CharsetNames.java │ │ │ ├── Charsets.java │ │ │ ├── CountingInputStream.java │ │ │ ├── CountingOutputStream.java │ │ │ └── IOUtils.java │ ├── results │ │ └── results_compress.xlsx │ ├── scripts │ │ ├── run-compress-badger.sh │ │ ├── run-compress-kelinci.sh │ │ ├── run-compress-kelinciwca.sh │ │ └── run-compress-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ ├── driver │ │ ├── Driver.java │ │ └── DriverDecompress.java │ │ └── org │ │ └── apache │ │ └── commons │ │ └── compress │ │ ├── archivers │ │ ├── ArchiveEntry.java │ │ ├── ArchiveException.java │ │ ├── ArchiveInputStream.java │ │ ├── ArchiveOutputStream.java │ │ ├── ArchiveStreamFactory.java │ │ ├── Lister.java │ │ ├── ar │ │ │ ├── ArArchiveEntry.java │ │ │ ├── ArArchiveInputStream.java │ │ │ └── ArArchiveOutputStream.java │ │ ├── cpio │ │ │ ├── CpioArchiveEntry.java │ │ │ ├── CpioArchiveInputStream.java │ │ │ ├── CpioArchiveOutputStream.java │ │ │ ├── CpioConstants.java │ │ │ └── CpioUtil.java │ │ ├── dump │ │ │ ├── Dirent.java │ │ │ ├── DumpArchiveConstants.java │ │ │ ├── DumpArchiveEntry.java │ │ │ ├── DumpArchiveException.java │ │ │ ├── DumpArchiveInputStream.java │ │ │ ├── DumpArchiveSummary.java │ │ │ ├── DumpArchiveUtil.java │ │ │ ├── InvalidFormatException.java │ │ │ ├── ShortFileException.java │ │ │ ├── TapeInputStream.java │ │ │ ├── UnrecognizedFormatException.java │ │ │ └── UnsupportedCompressionAlgorithmException.java │ │ ├── jar │ │ │ ├── JarArchiveEntry.java │ │ │ ├── JarArchiveInputStream.java │ │ │ └── JarArchiveOutputStream.java │ │ ├── tar │ │ │ ├── TarArchiveEntry.java │ │ │ ├── TarArchiveInputStream.java │ │ │ ├── TarArchiveOutputStream.java │ │ │ ├── TarArchiveSparseEntry.java │ │ │ ├── TarBuffer.java │ │ │ ├── TarConstants.java │ │ │ └── TarUtils.java │ │ └── zip │ │ │ ├── AbstractUnicodeExtraField.java │ │ │ ├── AsiExtraField.java │ │ │ ├── ExtraFieldUtils.java │ │ │ ├── FallbackZipEncoding.java │ │ │ ├── GeneralPurposeBit.java │ │ │ ├── JarMarker.java │ │ │ ├── NioZipEncoding.java │ │ │ ├── Simple8BitZipEncoding.java │ │ │ ├── UnicodeCommentExtraField.java │ │ │ ├── UnicodePathExtraField.java │ │ │ ├── UnixStat.java │ │ │ ├── UnparseableExtraFieldData.java │ │ │ ├── UnrecognizedExtraField.java │ │ │ ├── UnsupportedZipFeatureException.java │ │ │ ├── Zip64ExtendedInformationExtraField.java │ │ │ ├── Zip64Mode.java │ │ │ ├── Zip64RequiredException.java │ │ │ ├── ZipArchiveEntry.java │ │ │ ├── ZipArchiveInputStream.java │ │ │ ├── ZipArchiveOutputStream.java │ │ │ ├── ZipConstants.java │ │ │ ├── ZipEightByteInteger.java │ │ │ ├── ZipEncoding.java │ │ │ ├── ZipEncodingHelper.java │ │ │ ├── ZipExtraField.java │ │ │ ├── ZipFile.java │ │ │ ├── ZipLong.java │ │ │ ├── ZipShort.java │ │ │ └── ZipUtil.java │ │ ├── changes │ │ ├── Change.java │ │ ├── ChangeSet.java │ │ ├── ChangeSetPerformer.java │ │ └── ChangeSetResults.java │ │ ├── compressors │ │ ├── CompressorException.java │ │ ├── CompressorInputStream.java │ │ ├── CompressorOutputStream.java │ │ ├── FileNameUtil.java │ │ ├── bzip2 │ │ │ ├── BZip2CompressorInputStream.java │ │ │ ├── BZip2CompressorOutputStream.java │ │ │ ├── BZip2Constants.java │ │ │ ├── BZip2Utils.java │ │ │ ├── CRC.java │ │ │ └── Rand.java │ │ ├── gzip │ │ │ ├── GzipCompressorInputStream.java │ │ │ ├── GzipCompressorOutputStream.java │ │ │ └── GzipUtils.java │ │ └── pack200 │ │ │ ├── InMemoryCachingStreamBridge.java │ │ │ ├── Pack200CompressorInputStream.java │ │ │ ├── Pack200CompressorOutputStream.java │ │ │ ├── Pack200Strategy.java │ │ │ ├── Pack200Utils.java │ │ │ ├── StreamBridge.java │ │ │ └── TempFileCachingStreamBridge.java │ │ └── utils │ │ ├── ArchiveUtils.java │ │ ├── CharsetNames.java │ │ ├── Charsets.java │ │ ├── CountingInputStream.java │ │ ├── CountingOutputStream.java │ │ └── IOUtils.java ├── 06_image_processor │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── in_dir │ │ │ └── 2.2.5.1.jpg │ │ └── src │ │ │ ├── com │ │ │ └── stac │ │ │ │ ├── Main.java │ │ │ │ ├── MapCompare.java │ │ │ │ ├── image │ │ │ │ ├── ImageAlgorithm.java │ │ │ │ ├── ImageAlgorithmStore.java │ │ │ │ ├── ImageProcessing.java │ │ │ │ ├── algorithms │ │ │ │ │ ├── Detector.java │ │ │ │ │ ├── Filter.java │ │ │ │ │ ├── detectors │ │ │ │ │ │ ├── BlackDetector.java │ │ │ │ │ │ ├── BlueDetector.java │ │ │ │ │ │ ├── DummyDetector.java │ │ │ │ │ │ ├── EdgingDetector.java │ │ │ │ │ │ ├── GreenDetector.java │ │ │ │ │ │ ├── RedDetector.java │ │ │ │ │ │ └── WhiteDetector.java │ │ │ │ │ ├── filters │ │ │ │ │ │ ├── Intensify.java │ │ │ │ │ │ └── Invert.java │ │ │ │ │ └── generics │ │ │ │ │ │ ├── CannyEdgeDetect$1.java │ │ │ │ │ │ ├── CannyEdgeDetect.java │ │ │ │ │ │ ├── ConvertImage.java │ │ │ │ │ │ ├── Convolve.java │ │ │ │ │ │ └── Direction.java │ │ │ │ └── utilities │ │ │ │ │ ├── ARGB.java │ │ │ │ │ └── ShowImage.java │ │ │ │ ├── learning │ │ │ │ ├── ClusterController.java │ │ │ │ ├── EuclideanVector.java │ │ │ │ ├── EuclideanVectorFactory.java │ │ │ │ ├── Vector.java │ │ │ │ ├── VectorFactory.java │ │ │ │ └── VectorMap.java │ │ │ │ └── mathematics │ │ │ │ └── Mathematics.java │ │ │ └── drivers │ │ │ ├── DriverKelinci.java │ │ │ └── DriverKelinci2.java │ ├── results │ │ └── results_imageprocessor.xlsx │ ├── scripts │ │ ├── run-imageprocessor-badger.sh │ │ ├── run-imageprocessor-kelinci.sh │ │ ├── run-imageprocessor-kelinciwca.sh │ │ └── run-imageprocessor-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ ├── com │ │ └── stac │ │ │ ├── Main.java │ │ │ ├── MapCompare.java │ │ │ ├── image │ │ │ ├── ImageAlgorithm.java │ │ │ ├── ImageAlgorithmStore.java │ │ │ ├── ImageProcessing.java │ │ │ ├── algorithms │ │ │ │ ├── Detector.java │ │ │ │ ├── Filter.java │ │ │ │ ├── detectors │ │ │ │ │ ├── BlackDetector.java │ │ │ │ │ ├── BlueDetector.java │ │ │ │ │ ├── DummyDetector.java │ │ │ │ │ ├── EdgingDetector.java │ │ │ │ │ ├── GreenDetector.java │ │ │ │ │ ├── RedDetector.java │ │ │ │ │ └── WhiteDetector.java │ │ │ │ ├── filters │ │ │ │ │ ├── Intensify.java │ │ │ │ │ └── Invert.java │ │ │ │ └── generics │ │ │ │ │ ├── CannyEdgeDetect$1.java │ │ │ │ │ ├── CannyEdgeDetect.java │ │ │ │ │ ├── ConvertImage.java │ │ │ │ │ ├── Convolve.java │ │ │ │ │ └── Direction.java │ │ │ └── utilities │ │ │ │ ├── ARGB.java │ │ │ │ └── ShowImage.java │ │ │ ├── learning │ │ │ ├── ClusterController.java │ │ │ ├── EuclideanVector.java │ │ │ ├── EuclideanVectorFactory.java │ │ │ ├── Vector.java │ │ │ ├── VectorFactory.java │ │ │ └── VectorMap.java │ │ │ └── mathematics │ │ │ └── Mathematics.java │ │ └── drivers │ │ ├── ByteImageDriver.java │ │ ├── FullImageDriver.java │ │ ├── MainExp.java │ │ └── MainIntensify.java ├── 07_smart_contract │ ├── .gitignore │ ├── kelinci_analysis │ │ ├── in_dir │ │ │ └── example.txt │ │ └── src │ │ │ └── GovernMental.java │ ├── results │ │ └── results_governmental-n=50-10runs.xlsx │ ├── scripts │ │ ├── run-governmental-badger.sh │ │ ├── run-governmental-kelinci.sh │ │ ├── run-governmental-kelinciwca.sh │ │ └── run-governmental-spf.sh │ └── spf_analysis │ │ ├── config │ │ └── src │ │ └── GovernMental.java ├── evaluate.py └── evaluate_spf_cost.py ├── example ├── .gitignore ├── build-example.sh ├── config └── kelinciwca_analysis │ └── in_dir │ └── example └── scripts └── runBadger.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/README.md -------------------------------------------------------------------------------- /badger/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/.classpath -------------------------------------------------------------------------------- /badger/.externalToolBuilders/AntBuilder.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/.externalToolBuilders/AntBuilder.launch -------------------------------------------------------------------------------- /badger/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/.project -------------------------------------------------------------------------------- /badger/build.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/build.xml -------------------------------------------------------------------------------- /badger/jpf.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/jpf.properties -------------------------------------------------------------------------------- /badger/lib/asm-5.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/lib/asm-5.2.jar -------------------------------------------------------------------------------- /badger/lib/commons-io-2.4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/lib/commons-io-2.4.jar -------------------------------------------------------------------------------- /badger/lib/commons-lang3-3.7.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/lib/commons-lang3-3.7.jar -------------------------------------------------------------------------------- /badger/src/examples/InsertionSortFuzz.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/examples/InsertionSortFuzz.java -------------------------------------------------------------------------------- /badger/src/examples/InsertionSortSym.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/examples/InsertionSortSym.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/BranchCountState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/BranchCountState.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/CoverageAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/CoverageAnalyzer.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/CoverageExplorationHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/CoverageExplorationHeuristic.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/ExplorationHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/ExplorationHeuristic.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/InstructionCountState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/InstructionCountState.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/State.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/StateBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/StateBuilder.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/StateBuilderAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/StateBuilderAdapter.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/StateBuilderFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/StateBuilderFactory.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/TrieAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/TrieAnalyzer.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/WCAAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/WCAAnalyzer.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/analysis/WCAExplorationHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/analysis/WCAExplorationHeuristic.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/app/BadgerInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/app/BadgerInput.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/app/BadgerInputKeys.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/app/BadgerInputKeys.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/app/BadgerRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/app/BadgerRunner.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/app/SymExe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/app/SymExe.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/ByteImageProcessorIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/ByteImageProcessorIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/ByteTextIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/ByteTextIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/CharArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/CharArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/CharArrayIOUtilsEngagement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/CharArrayIOUtilsEngagement.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/DynamicCharArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/DynamicCharArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/DynamicIntArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/DynamicIntArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/FullIntArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/FullIntArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/IOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/IOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/ImageByteDoubleIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/ImageByteDoubleIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/ImageDoubleDoubleIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/ImageDoubleDoubleIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/ImageProcessorIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/ImageProcessorIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/IntArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/IntArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/io/MultipleIntArrayIOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/io/MultipleIntArrayIOUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/ConcreteInput2TrieListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/ConcreteInput2TrieListener.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/IBehavior.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/IBehavior.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/MetricListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/MetricListener.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/SolverCallListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/SolverCallListener.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/SymCreteCostListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/SymCreteCostListener.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/listener/TrieGuidanceListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/listener/TrieGuidanceListener.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/trie/Trie.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/trie/Trie.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/trie/TrieNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/trie/TrieNode.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/trie/TrieNodeType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/trie/TrieNodeType.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/trie/TriePrintToConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/trie/TriePrintToConsole.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/trie/TriePrintToDot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/trie/TriePrintToDot.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/util/BytecodeUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/util/BytecodeUtils.java -------------------------------------------------------------------------------- /badger/src/main/edu/cmu/sv/badger/util/Statistics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/badger/src/main/edu/cmu/sv/badger/util/Statistics.java -------------------------------------------------------------------------------- /evaluation/01_insertionsort/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/.gitignore -------------------------------------------------------------------------------- /evaluation/01_insertionsort/kelinci_analysis/in_dir/example: -------------------------------------------------------------------------------- 1 | %*0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz 2 | -------------------------------------------------------------------------------- /evaluation/01_insertionsort/kelinci_analysis/src/InsertionSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/kelinci_analysis/src/InsertionSort.java -------------------------------------------------------------------------------- /evaluation/01_insertionsort/results/results_insertionsort.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/results/results_insertionsort.xlsx -------------------------------------------------------------------------------- /evaluation/01_insertionsort/scripts/run-insertion-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/scripts/run-insertion-badger.sh -------------------------------------------------------------------------------- /evaluation/01_insertionsort/scripts/run-insertion-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/scripts/run-insertion-kelinci.sh -------------------------------------------------------------------------------- /evaluation/01_insertionsort/scripts/run-insertion-kelinciwca-latest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/scripts/run-insertion-kelinciwca-latest.sh -------------------------------------------------------------------------------- /evaluation/01_insertionsort/scripts/run-insertion-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/scripts/run-insertion-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/01_insertionsort/scripts/run-insertion-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/scripts/run-insertion-spf.sh -------------------------------------------------------------------------------- /evaluation/01_insertionsort/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/01_insertionsort/spf_analysis/src/InsertionSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/01_insertionsort/spf_analysis/src/InsertionSort.java -------------------------------------------------------------------------------- /evaluation/02_quicksort/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/.gitignore -------------------------------------------------------------------------------- /evaluation/02_quicksort/kelinci_analysis/in_dir/example: -------------------------------------------------------------------------------- 1 | iuytrewqasdfghjkl;'/.,mnbvcxz0987654321i7y6trfjghkTYUIOPLKJHGFDSXCVBNMKJDAHJKLD 2 | -------------------------------------------------------------------------------- /evaluation/02_quicksort/kelinci_analysis/src/Arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/kelinci_analysis/src/Arrays.java -------------------------------------------------------------------------------- /evaluation/02_quicksort/kelinci_analysis/src/QuickSortJDK15.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/kelinci_analysis/src/QuickSortJDK15.java -------------------------------------------------------------------------------- /evaluation/02_quicksort/results/results_quicksort.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/results/results_quicksort.xlsx -------------------------------------------------------------------------------- /evaluation/02_quicksort/scripts/run-quicksort-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/scripts/run-quicksort-badger.sh -------------------------------------------------------------------------------- /evaluation/02_quicksort/scripts/run-quicksort-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/scripts/run-quicksort-kelinci.sh -------------------------------------------------------------------------------- /evaluation/02_quicksort/scripts/run-quicksort-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/scripts/run-quicksort-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/02_quicksort/scripts/run-quicksort-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/scripts/run-quicksort-spf.sh -------------------------------------------------------------------------------- /evaluation/02_quicksort/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/02_quicksort/spf_analysis/src/Arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/spf_analysis/src/Arrays.java -------------------------------------------------------------------------------- /evaluation/02_quicksort/spf_analysis/src/QuickSortJDK15.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/02_quicksort/spf_analysis/src/QuickSortJDK15.java -------------------------------------------------------------------------------- /evaluation/03_regex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/.gitignore -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/README -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/in_dir/lorem-byte.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/in_dir/lorem-byte.txt -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/lorem-byte.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/lorem-byte.txt -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/10htmllink-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/10htmllink-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/1username-byte.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/1username-byte.txt -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/2password-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/2password-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/3hexcolor-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/3hexcolor-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/4email-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/4email-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/5imageextension-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/5imageextension-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/6ipaddress-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/6ipaddress-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/7atime12hour-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/7atime12hour-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/7btime24hour-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/7btime24hour-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/8date-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/8date-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/9html-byte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources-byte/popular-regexes/9html-byte -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/regex-byte.txt: -------------------------------------------------------------------------------- 1 | [\s\S]* -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources-byte/regex-with-quotes-byte.txt: -------------------------------------------------------------------------------- 1 | "[\s\S]*" -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/lorem.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/lorem.txt -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/10htmllink: -------------------------------------------------------------------------------- 1 | (?i)]+)>(.+?) 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/1username.txt: -------------------------------------------------------------------------------- 1 | ^[a-z0-9_-]{3,15}$ 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/2password: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/2password -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/3hexcolor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/3hexcolor -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/4email: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/4email -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/5imageextension: -------------------------------------------------------------------------------- 1 | ([^\s]+(\.(?i)(jpg|png|gif|bmp))$) 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/6ipaddress: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/6ipaddress -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/7atime12hour: -------------------------------------------------------------------------------- 1 | (1[012]|[1-9]):[0-5][0-9](\\s)?(?i)(am|pm) 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/7btime24hour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/7btime24hour -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/8date: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/resources/popular-regexes/8date -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/popular-regexes/9html: -------------------------------------------------------------------------------- 1 | <("[^"]*"|'[^']*'|[^'">])*> 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/regex-with-quotes.txt: -------------------------------------------------------------------------------- 1 | "[\s\S]*" 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/resources/regex.txt: -------------------------------------------------------------------------------- 1 | [\s\S]* 2 | -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/Regex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/Regex.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/ASCII.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/ASCII.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/MatchResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/MatchResult.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/Matcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/Matcher.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/Pattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/Pattern.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/PatternSyntaxException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/PatternSyntaxException.java -------------------------------------------------------------------------------- /evaluation/03_regex/kelinci_analysis/src/regexjdk8/UnicodeProp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/kelinci_analysis/src/regexjdk8/UnicodeProp.java -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_10htmllink.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_10htmllink.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_1username.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_1username.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_2password.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_2password.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_3hexcolor.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_3hexcolor.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_4email.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_4email.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_5imageextension.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_5imageextension.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_6ipaddress.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_6ipaddress.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_7atime12hour.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_7atime12hour.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_7btime24hour.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_7btime24hour.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_8date.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_8date.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_9html.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_9html.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/results/results_regex_text.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/results/results_regex_text.xlsx -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-10htmllink-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-10htmllink-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-10htmllink-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-10htmllink-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-10htmllink-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-10htmllink-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-10htmllink-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-10htmllink-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-1username-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-1username-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-1username-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-1username-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-1username-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-1username-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-1username-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-1username-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-2password-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-2password-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-2password-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-2password-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-2password-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-2password-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-2password-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-2password-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-3hexcolor-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-3hexcolor-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-3hexcolor-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-3hexcolor-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-3hexcolor-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-3hexcolor-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-3hexcolor-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-3hexcolor-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-4email-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-4email-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-4email-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-4email-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-4email-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-4email-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-4email-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-4email-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-5imageextension-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-5imageextension-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-5imageextension-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-5imageextension-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-5imageextension-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-5imageextension-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-5imageextension-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-5imageextension-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-6ipaddress-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-6ipaddress-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-6ipaddress-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-6ipaddress-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-6ipaddress-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-6ipaddress-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-6ipaddress-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-6ipaddress-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7atime12hour-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7atime12hour-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7atime12hour-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7atime12hour-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7atime12hour-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7atime12hour-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7atime12hour-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7atime12hour-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7btime24hour-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7btime24hour-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7btime24hour-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7btime24hour-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7btime24hour-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7btime24hour-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-7btime24hour-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-7btime24hour-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-8date-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-8date-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-8date-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-8date-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-8date-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-8date-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-8date-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-8date-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-9html-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-9html-badger.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-9html-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-9html-kelinci.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-9html-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-9html-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/03_regex/scripts/run-regex-9html-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/scripts/run-regex-9html-spf.sh -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/Regex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/Regex.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/RegexConcrete.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/RegexConcrete.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/ASCII.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/ASCII.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/MatchResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/MatchResult.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/Matcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/Matcher.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/Pattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/Pattern.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/PatternSyntaxException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/PatternSyntaxException.java -------------------------------------------------------------------------------- /evaluation/03_regex/spf_analysis/src/regexjdk8/UnicodeProp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/03_regex/spf_analysis/src/regexjdk8/UnicodeProp.java -------------------------------------------------------------------------------- /evaluation/04_hashtable/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/.gitignore -------------------------------------------------------------------------------- /evaluation/04_hashtable/kelinci_analysis/in_dir/example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/kelinci_analysis/in_dir/example -------------------------------------------------------------------------------- /evaluation/04_hashtable/kelinci_analysis/src/HashTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/kelinci_analysis/src/HashTable.java -------------------------------------------------------------------------------- /evaluation/04_hashtable/results/results_hashtable.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/results/results_hashtable.xlsx -------------------------------------------------------------------------------- /evaluation/04_hashtable/scripts/run-hashtable-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/scripts/run-hashtable-badger.sh -------------------------------------------------------------------------------- /evaluation/04_hashtable/scripts/run-hashtable-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/scripts/run-hashtable-kelinci.sh -------------------------------------------------------------------------------- /evaluation/04_hashtable/scripts/run-hashtable-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/scripts/run-hashtable-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/04_hashtable/scripts/run-hashtable-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/scripts/run-hashtable-spf.sh -------------------------------------------------------------------------------- /evaluation/04_hashtable/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/04_hashtable/spf_analysis/src/HashTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/04_hashtable/spf_analysis/src/HashTable.java -------------------------------------------------------------------------------- /evaluation/05_compress/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/.gitignore -------------------------------------------------------------------------------- /evaluation/05_compress/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/README -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/commons-compress-1.4-instrumented.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/commons-compress-1.4-instrumented.jar -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/in_dir/example: -------------------------------------------------------------------------------- 1 | hello 2 | -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/driver/Driver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/driver/Driver.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/driver/DriverDecompress.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/driver/DriverDecompress.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveStreamFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ArchiveStreamFactory.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/Lister.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/Lister.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/cpio/CpioUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/Dirent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/Dirent.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveSummary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveSummary.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/InvalidFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/InvalidFormatException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/ShortFileException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/ShortFileException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/TapeInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/TapeInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/UnrecognizedFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/UnrecognizedFormatException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/UnsupportedCompressionAlgorithmException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/dump/UnsupportedCompressionAlgorithmException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveSparseEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveSparseEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarBuffer.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/tar/TarUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/AbstractUnicodeExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/AbstractUnicodeExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/AsiExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/AsiExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ExtraFieldUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ExtraFieldUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/FallbackZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/FallbackZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/GeneralPurposeBit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/GeneralPurposeBit.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/JarMarker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/JarMarker.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/NioZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/NioZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Simple8BitZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Simple8BitZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnicodeCommentExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnicodeCommentExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnicodePathExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnicodePathExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnixStat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnixStat.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnparseableExtraFieldData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnparseableExtraFieldData.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnrecognizedExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnrecognizedExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnsupportedZipFeatureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/UnsupportedZipFeatureException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64ExtendedInformationExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64ExtendedInformationExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64Mode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64Mode.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64RequiredException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/Zip64RequiredException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEightByteInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEightByteInteger.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncodingHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncodingHelper.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipFile.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipLong.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipLong.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipShort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipShort.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/archivers/zip/ZipUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/Change.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/Change.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSet.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSetPerformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSetPerformer.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSetResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/changes/ChangeSetResults.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorException.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorStreamFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/CompressorStreamFactory.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/FileNameUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/FileNameUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Constants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Constants.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Utils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/CRC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/CRC.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/Rand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/bzip2/Rand.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/gzip/GzipUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/InMemoryCachingStreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/InMemoryCachingStreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Strategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Strategy.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Utils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/StreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/StreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/TempFileCachingStreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/pack200/TempFileCachingStreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZCompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZCompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZCompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZCompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/compressors/xz/XZUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/ArchiveUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/ArchiveUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CharsetNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CharsetNames.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/Charsets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/Charsets.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CountingInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CountingInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CountingOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/CountingOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/IOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/kelinci_analysis/src/org/apache/commons/compress/utils/IOUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/results/results_compress.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/results/results_compress.xlsx -------------------------------------------------------------------------------- /evaluation/05_compress/scripts/run-compress-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/scripts/run-compress-badger.sh -------------------------------------------------------------------------------- /evaluation/05_compress/scripts/run-compress-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/scripts/run-compress-kelinci.sh -------------------------------------------------------------------------------- /evaluation/05_compress/scripts/run-compress-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/scripts/run-compress-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/05_compress/scripts/run-compress-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/scripts/run-compress-spf.sh -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/driver/Driver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/driver/Driver.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/driver/DriverDecompress.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/driver/DriverDecompress.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveStreamFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ArchiveStreamFactory.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/Lister.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/Lister.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/ar/ArArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/cpio/CpioUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/Dirent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/Dirent.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveSummary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveSummary.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/DumpArchiveUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/InvalidFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/InvalidFormatException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/ShortFileException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/ShortFileException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/TapeInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/TapeInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/UnrecognizedFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/UnrecognizedFormatException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/UnsupportedCompressionAlgorithmException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/dump/UnsupportedCompressionAlgorithmException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/jar/JarArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveSparseEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarArchiveSparseEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarBuffer.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/tar/TarUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/AbstractUnicodeExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/AbstractUnicodeExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/AsiExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/AsiExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ExtraFieldUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ExtraFieldUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/FallbackZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/FallbackZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/GeneralPurposeBit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/GeneralPurposeBit.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/JarMarker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/JarMarker.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/NioZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/NioZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Simple8BitZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Simple8BitZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnicodeCommentExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnicodeCommentExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnicodePathExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnicodePathExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnixStat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnixStat.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnparseableExtraFieldData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnparseableExtraFieldData.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnrecognizedExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnrecognizedExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnsupportedZipFeatureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/UnsupportedZipFeatureException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64ExtendedInformationExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64ExtendedInformationExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64Mode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64Mode.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64RequiredException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/Zip64RequiredException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveEntry.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipArchiveOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipConstants.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEightByteInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEightByteInteger.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncoding.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncodingHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipEncodingHelper.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipExtraField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipExtraField.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipFile.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipLong.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipLong.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipShort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipShort.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/archivers/zip/ZipUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/Change.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/Change.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSet.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSetPerformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSetPerformer.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSetResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/changes/ChangeSetResults.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorException.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/FileNameUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/FileNameUtil.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Constants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Constants.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/BZip2Utils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/CRC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/CRC.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/Rand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/bzip2/Rand.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipCompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/gzip/GzipUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/InMemoryCachingStreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/InMemoryCachingStreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200CompressorOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Strategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Strategy.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/Pack200Utils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/StreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/StreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/TempFileCachingStreamBridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/compressors/pack200/TempFileCachingStreamBridge.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/ArchiveUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/ArchiveUtils.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CharsetNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CharsetNames.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/Charsets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/Charsets.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CountingInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CountingInputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CountingOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/CountingOutputStream.java -------------------------------------------------------------------------------- /evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/IOUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/05_compress/spf_analysis/src/org/apache/commons/compress/utils/IOUtils.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/.gitignore -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/in_dir/2.2.5.1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/in_dir/2.2.5.1.jpg -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/Main.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/MapCompare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/MapCompare.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageAlgorithm.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageAlgorithmStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageAlgorithmStore.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageProcessing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/ImageProcessing.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/Detector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/Detector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/Filter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/Filter.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/BlackDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/BlackDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/BlueDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/BlueDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/DummyDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/DummyDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/EdgingDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/EdgingDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/GreenDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/GreenDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/RedDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/RedDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/WhiteDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/detectors/WhiteDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/filters/Intensify.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/filters/Intensify.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/filters/Invert.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/filters/Invert.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect$1.java: -------------------------------------------------------------------------------- 1 | package com.stac.image.algorithms.generics; 2 | 3 | -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/ConvertImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/ConvertImage.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/Convolve.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/Convolve.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/Direction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/algorithms/generics/Direction.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/utilities/ARGB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/utilities/ARGB.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/utilities/ShowImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/image/utilities/ShowImage.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/ClusterController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/ClusterController.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/EuclideanVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/EuclideanVector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/EuclideanVectorFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/EuclideanVectorFactory.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/Vector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/Vector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/VectorFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/VectorFactory.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/VectorMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/learning/VectorMap.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/com/stac/mathematics/Mathematics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/com/stac/mathematics/Mathematics.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/drivers/DriverKelinci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/drivers/DriverKelinci.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/kelinci_analysis/src/drivers/DriverKelinci2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/kelinci_analysis/src/drivers/DriverKelinci2.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/results/results_imageprocessor.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/results/results_imageprocessor.xlsx -------------------------------------------------------------------------------- /evaluation/06_image_processor/scripts/run-imageprocessor-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/scripts/run-imageprocessor-badger.sh -------------------------------------------------------------------------------- /evaluation/06_image_processor/scripts/run-imageprocessor-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/scripts/run-imageprocessor-kelinci.sh -------------------------------------------------------------------------------- /evaluation/06_image_processor/scripts/run-imageprocessor-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/scripts/run-imageprocessor-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/06_image_processor/scripts/run-imageprocessor-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/scripts/run-imageprocessor-spf.sh -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/Main.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/MapCompare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/MapCompare.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageAlgorithm.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageAlgorithmStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageAlgorithmStore.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageProcessing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/ImageProcessing.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/Detector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/Detector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/Filter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/Filter.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/BlackDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/BlackDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/BlueDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/BlueDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/DummyDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/DummyDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/EdgingDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/EdgingDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/GreenDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/GreenDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/RedDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/RedDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/WhiteDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/detectors/WhiteDetector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/filters/Intensify.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/filters/Intensify.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/filters/Invert.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/filters/Invert.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect$1.java: -------------------------------------------------------------------------------- 1 | package com.stac.image.algorithms.generics; 2 | 3 | -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/CannyEdgeDetect.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/ConvertImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/ConvertImage.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/Convolve.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/Convolve.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/Direction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/algorithms/generics/Direction.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/utilities/ARGB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/utilities/ARGB.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/image/utilities/ShowImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/image/utilities/ShowImage.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/ClusterController.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/ClusterController.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/EuclideanVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/EuclideanVector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/EuclideanVectorFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/EuclideanVectorFactory.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/Vector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/Vector.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/VectorFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/VectorFactory.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/learning/VectorMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/learning/VectorMap.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/com/stac/mathematics/Mathematics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/com/stac/mathematics/Mathematics.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/drivers/ByteImageDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/drivers/ByteImageDriver.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/drivers/FullImageDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/drivers/FullImageDriver.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/drivers/MainExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/drivers/MainExp.java -------------------------------------------------------------------------------- /evaluation/06_image_processor/spf_analysis/src/drivers/MainIntensify.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/06_image_processor/spf_analysis/src/drivers/MainIntensify.java -------------------------------------------------------------------------------- /evaluation/07_smart_contract/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/.gitignore -------------------------------------------------------------------------------- /evaluation/07_smart_contract/kelinci_analysis/in_dir/example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/kelinci_analysis/in_dir/example.txt -------------------------------------------------------------------------------- /evaluation/07_smart_contract/kelinci_analysis/src/GovernMental.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/kelinci_analysis/src/GovernMental.java -------------------------------------------------------------------------------- /evaluation/07_smart_contract/results/results_governmental-n=50-10runs.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/results/results_governmental-n=50-10runs.xlsx -------------------------------------------------------------------------------- /evaluation/07_smart_contract/scripts/run-governmental-badger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/scripts/run-governmental-badger.sh -------------------------------------------------------------------------------- /evaluation/07_smart_contract/scripts/run-governmental-kelinci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/scripts/run-governmental-kelinci.sh -------------------------------------------------------------------------------- /evaluation/07_smart_contract/scripts/run-governmental-kelinciwca.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/scripts/run-governmental-kelinciwca.sh -------------------------------------------------------------------------------- /evaluation/07_smart_contract/scripts/run-governmental-spf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/scripts/run-governmental-spf.sh -------------------------------------------------------------------------------- /evaluation/07_smart_contract/spf_analysis/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/spf_analysis/config -------------------------------------------------------------------------------- /evaluation/07_smart_contract/spf_analysis/src/GovernMental.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/07_smart_contract/spf_analysis/src/GovernMental.java -------------------------------------------------------------------------------- /evaluation/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/evaluate.py -------------------------------------------------------------------------------- /evaluation/evaluate_spf_cost.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/evaluation/evaluate_spf_cost.py -------------------------------------------------------------------------------- /example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/example/.gitignore -------------------------------------------------------------------------------- /example/build-example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/example/build-example.sh -------------------------------------------------------------------------------- /example/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/example/config -------------------------------------------------------------------------------- /example/kelinciwca_analysis/in_dir/example: -------------------------------------------------------------------------------- 1 | %*0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz 2 | -------------------------------------------------------------------------------- /scripts/runBadger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/badger/HEAD/scripts/runBadger.sh --------------------------------------------------------------------------------