├── .gitignore ├── AUTHORS ├── INSTALL.md ├── Makefile ├── README.md ├── TODO ├── _tags ├── add-stats-tables.sh ├── checkLinks.ml ├── compareAnswerTypes.ml ├── computeBehaviorStats.ml ├── computeChainsStats.ml ├── computeComponents.ml ├── computeStats.ml ├── concertoUtils.ml ├── data-samples └── 2014-03-mozilla-certificate-store │ ├── certdata.txt │ ├── nsIdentityChecking.cpp │ └── revision ├── db.txt ├── doc ├── .gitignore ├── Makefile └── analysis-tools.dot ├── dumpFile.ml ├── extract-ev-certdata.py ├── extractCertdata.ml ├── extractDrownCerts.ml ├── fileOps.ml ├── filterDataDir.ml ├── flagTrust.ml ├── inject.ml ├── injectAnswerDump.ml ├── injectStimulus.ml ├── injectZGrabResults.ml ├── listCSVFiles.ml ├── listRawByPrefix.ml ├── listRawByType.ml ├── listRawPrefixes.ml ├── listRawTypes.ml ├── listV1certs.ml ├── maestro.sh ├── mergeDirs.ml ├── mergeRawFiles.ml ├── parseCerts.ml ├── piccolo.py ├── prepareLinks.ml ├── rateChains.ml ├── readFile.ml ├── reference ├── add-reference-tables.sh ├── answer_types.csv ├── chain_quality.csv ├── ciphersuites.txt ├── enriched-ciphersuites.csv ├── prepare_tables.sh └── versions.csv ├── statOps.ml ├── stats-requests.txt ├── stimulus.ml ├── stripPossibleLinks.ml ├── templates ├── answer.html ├── answers.html ├── certificate.html ├── certificates.html ├── chain.html ├── chains.html └── home.html ├── testJson.ml ├── testUuid.ml ├── uuid.ml └── writeLine.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/.gitignore -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/AUTHORS -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/INSTALL.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/TODO -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/_tags -------------------------------------------------------------------------------- /add-stats-tables.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/add-stats-tables.sh -------------------------------------------------------------------------------- /checkLinks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/checkLinks.ml -------------------------------------------------------------------------------- /compareAnswerTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/compareAnswerTypes.ml -------------------------------------------------------------------------------- /computeBehaviorStats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/computeBehaviorStats.ml -------------------------------------------------------------------------------- /computeChainsStats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/computeChainsStats.ml -------------------------------------------------------------------------------- /computeComponents.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/computeComponents.ml -------------------------------------------------------------------------------- /computeStats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/computeStats.ml -------------------------------------------------------------------------------- /concertoUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/concertoUtils.ml -------------------------------------------------------------------------------- /data-samples/2014-03-mozilla-certificate-store/certdata.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/data-samples/2014-03-mozilla-certificate-store/certdata.txt -------------------------------------------------------------------------------- /data-samples/2014-03-mozilla-certificate-store/nsIdentityChecking.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/data-samples/2014-03-mozilla-certificate-store/nsIdentityChecking.cpp -------------------------------------------------------------------------------- /data-samples/2014-03-mozilla-certificate-store/revision: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/data-samples/2014-03-mozilla-certificate-store/revision -------------------------------------------------------------------------------- /db.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/db.txt -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | analysis-tools.png 2 | -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/analysis-tools.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/doc/analysis-tools.dot -------------------------------------------------------------------------------- /dumpFile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/dumpFile.ml -------------------------------------------------------------------------------- /extract-ev-certdata.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/extract-ev-certdata.py -------------------------------------------------------------------------------- /extractCertdata.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/extractCertdata.ml -------------------------------------------------------------------------------- /extractDrownCerts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/extractDrownCerts.ml -------------------------------------------------------------------------------- /fileOps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/fileOps.ml -------------------------------------------------------------------------------- /filterDataDir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/filterDataDir.ml -------------------------------------------------------------------------------- /flagTrust.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/flagTrust.ml -------------------------------------------------------------------------------- /inject.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/inject.ml -------------------------------------------------------------------------------- /injectAnswerDump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/injectAnswerDump.ml -------------------------------------------------------------------------------- /injectStimulus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/injectStimulus.ml -------------------------------------------------------------------------------- /injectZGrabResults.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/injectZGrabResults.ml -------------------------------------------------------------------------------- /listCSVFiles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listCSVFiles.ml -------------------------------------------------------------------------------- /listRawByPrefix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listRawByPrefix.ml -------------------------------------------------------------------------------- /listRawByType.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listRawByType.ml -------------------------------------------------------------------------------- /listRawPrefixes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listRawPrefixes.ml -------------------------------------------------------------------------------- /listRawTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listRawTypes.ml -------------------------------------------------------------------------------- /listV1certs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/listV1certs.ml -------------------------------------------------------------------------------- /maestro.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/maestro.sh -------------------------------------------------------------------------------- /mergeDirs.ml: -------------------------------------------------------------------------------- 1 | let _ = failwith "NotImplemented" 2 | -------------------------------------------------------------------------------- /mergeRawFiles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/mergeRawFiles.ml -------------------------------------------------------------------------------- /parseCerts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/parseCerts.ml -------------------------------------------------------------------------------- /piccolo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/piccolo.py -------------------------------------------------------------------------------- /prepareLinks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/prepareLinks.ml -------------------------------------------------------------------------------- /rateChains.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/rateChains.ml -------------------------------------------------------------------------------- /readFile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/readFile.ml -------------------------------------------------------------------------------- /reference/add-reference-tables.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/add-reference-tables.sh -------------------------------------------------------------------------------- /reference/answer_types.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/answer_types.csv -------------------------------------------------------------------------------- /reference/chain_quality.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/chain_quality.csv -------------------------------------------------------------------------------- /reference/ciphersuites.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/ciphersuites.txt -------------------------------------------------------------------------------- /reference/enriched-ciphersuites.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/enriched-ciphersuites.csv -------------------------------------------------------------------------------- /reference/prepare_tables.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/prepare_tables.sh -------------------------------------------------------------------------------- /reference/versions.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/reference/versions.csv -------------------------------------------------------------------------------- /statOps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/statOps.ml -------------------------------------------------------------------------------- /stats-requests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/stats-requests.txt -------------------------------------------------------------------------------- /stimulus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/stimulus.ml -------------------------------------------------------------------------------- /stripPossibleLinks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/stripPossibleLinks.ml -------------------------------------------------------------------------------- /templates/answer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/answer.html -------------------------------------------------------------------------------- /templates/answers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/answers.html -------------------------------------------------------------------------------- /templates/certificate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/certificate.html -------------------------------------------------------------------------------- /templates/certificates.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/certificates.html -------------------------------------------------------------------------------- /templates/chain.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/chain.html -------------------------------------------------------------------------------- /templates/chains.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/chains.html -------------------------------------------------------------------------------- /templates/home.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/templates/home.html -------------------------------------------------------------------------------- /testJson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/testJson.ml -------------------------------------------------------------------------------- /testUuid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/testUuid.ml -------------------------------------------------------------------------------- /uuid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/uuid.ml -------------------------------------------------------------------------------- /writeLine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/picty/concerto/HEAD/writeLine.ml --------------------------------------------------------------------------------