Path	Lines of Code
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	39
ISSUE_TEMPLATE.md	11
PULL_REQUEST_TEMPLATE.md	18
README.md	52
annotations/README.md	39
checker/tests/call_graph/type_relations.json	14
documentation/AbstractValues.md	71
documentation/Architecture.md	15
documentation/Caching.md	18
documentation/CallGraph.md	290
documentation/DebuggingRustc.md	58
documentation/Decisions.md	355
documentation/DesignDiscussions.md	18
documentation/DeveloperGuide.md	140
documentation/FurtherReading.md	33
documentation/IncrementalAnalysis.md	15
documentation/InstallationGuide.md	31
documentation/Linux.md	40
documentation/Overview.md	280
documentation/Parallelism.md	15
documentation/TagAnalysis.md	221
documentation/WhyMir.md	15
documentation/WhyPlugIn.md	26
documentation/WhyRust.md	29
documentation/WhyTopDown.md	2
documentation/Z3AndLinux.md	20
examples/shopping_cart/Cargo.toml	10
examples/shopping_cart/src/main.rs	67
examples/tag_analysis/timing_channels/Cargo.toml	11
examples/tag_analysis/timing_channels/src/lib.rs	46
examples/tag_analysis/trait_methods/Cargo.toml	12
examples/tag_analysis/trait_methods/src/lib.rs	37
examples/tag_analysis/untrustworthy_inputs/Cargo.toml	11
examples/tag_analysis/untrustworthy_inputs/src/lib.rs	72
examples/tag_analysis/verification_status/Cargo.toml	11
examples/tag_analysis/verification_status/src/lib.rs	61
examples/taint/Cargo.toml	12
examples/taint/src/main.rs	11
examples/taint/taint_error/Cargo.toml	11
examples/taint/taint_error/src/lib.rs	20
sokrates_conventions.json	72
standard_contracts/README.md	6