Path	Lines of Code
source/AbstractTreeDomain.h	557
source/Access.cpp	206
source/Access.h	226
source/AccessPathTreeDomain.h	200
source/AnalysisEnvironment.cpp	300
source/AnalysisEnvironment.h	91
source/ArtificialMethods.cpp	35
source/ArtificialMethods.h	27
source/Assert.h	25
source/CallGraph.cpp	626
source/CallGraph.h	162
source/CallPositionFrames.cpp	465
source/CallPositionFrames.h	179
source/CalleeFrames.cpp	212
source/CalleeFrames.h	147
source/CanonicalName.cpp	124
source/CanonicalName.h	85
source/ClassHierarchies.cpp	97
source/ClassHierarchies.h	25
source/ClassProperties.cpp	351
source/ClassProperties.h	57
source/Compiler.h	45
source/Constants.cpp	19
source/Constants.h	14
source/Context.cpp	26
source/Context.h	50
source/Dependencies.cpp	105
source/Dependencies.h	31
source/EventLogger.cpp	10
source/EventLogger.h	13
source/Feature.cpp	14
source/Feature.h	24
source/FeatureMayAlwaysSet.cpp	122
source/FeatureMayAlwaysSet.h	79
source/FeatureSet.cpp	60
source/FeatureSet.h	75
source/Features.cpp	21
source/Features.h	22
source/Field.cpp	40
source/Field.h	37
source/FieldCache.cpp	81
source/FieldCache.h	27
source/FieldModel.cpp	197
source/FieldModel.h	46
source/FieldSet.cpp	96
source/FieldSet.h	80
source/Fields.cpp	34
source/Fields.h	34
source/Flags.h	111
source/FlattenIterator.h	111
source/Frame.cpp	447
source/Frame.h	242
source/FrameSet.cpp	446
source/FrameSet.h	161
source/FulfilledPartialKindState.cpp	81
source/FulfilledPartialKindState.h	42
source/GroupHashedSetAbstractDomain.h	279
source/Heuristics.h	21
source/Highlights.cpp	513
source/Highlights.h	36
source/Interprocedural.cpp	227
source/Interprocedural.h	9
source/Issue.cpp	126
source/Issue.h	92
source/IssueSet.h	7
source/JsonValidation.cpp	253
source/JsonValidation.h	54
source/Kind.cpp	23
source/Kind.h	31
source/Kinds.cpp	38
source/Kinds.h	51
source/LifecycleMethod.cpp	161
source/LifecycleMethod.h	66
source/LifecycleMethods.cpp	33
source/LifecycleMethods.h	26
source/LocalPositionSet.cpp	52
source/LocalPositionSet.h	67
source/Log.cpp	81
source/Log.h	55
source/Main.cpp	49
source/MarianaTrench.cpp	283
source/MarianaTrench.h	18
source/MemoryLocation.cpp	123
source/MemoryLocation.h	107
source/Method.cpp	151
source/Method.h	68
source/MethodContext.cpp	103
source/MethodContext.h	71
source/MethodSet.cpp	98
source/MethodSet.h	80
source/Methods.cpp	51
source/Methods.h	40
source/Model.cpp	1139
source/Model.h	201
source/ModelGeneration.cpp	180
source/ModelGeneration.h	13
source/MultiSourceMultiSinkRule.cpp	77
source/MultiSourceMultiSinkRule.h	48
source/NamedKind.cpp	17
source/NamedKind.h	25
source/OperatingSystem.cpp	39
source/OperatingSystem.h	3
source/Options.cpp	410
source/Options.h	107
source/Overrides.cpp	75
source/Overrides.h	29
source/PartialKind.cpp	21
source/PartialKind.h	34
source/Position.cpp	92
source/Position.h	77
source/Positions.cpp	311
source/Positions.h	60
source/PostprocessTraces.cpp	116
source/PostprocessTraces.h	10
source/Propagation.cpp	87
source/Propagation.h	82
source/PropagationSet.h	9
source/PropagationTree.h	8
source/RE2.cpp	41
source/RE2.h	7
source/Redex.cpp	259
source/Redex.h	72
source/Registry.cpp	265
source/Registry.h	56
source/RootPatriciaTreeAbstractPartition.h	124
source/Rule.cpp	33
source/Rule.h	49
source/Rules.cpp	118
source/Rules.h	79
source/Sanitizer.cpp	142
source/Sanitizer.h	68
source/SanitizersOptions.h	13
source/Scheduler.cpp	26
source/Scheduler.h	23
source/SourceSinkRule.cpp	42
source/SourceSinkRule.h	45
source/Statistics.cpp	72
source/Statistics.h	30
source/StronglyConnectedComponents.cpp	68
source/StronglyConnectedComponents.h	24
source/Taint.h	6
source/TaintTree.h	8
source/TaintV1.cpp	226
source/TaintV1.h	150
source/TaintV2.cpp	176
source/TaintV2.h	134
source/Timer.h	22
source/Transfer.cpp	1214
source/Transfer.h	84
source/TriggeredPartialKind.cpp	16
source/TriggeredPartialKind.h	33
source/Types.cpp	209
source/Types.h	49
source/UniquePointerConcurrentMap.h	52
source/UniquePointerFactory.h	65
source/UnusedKinds.cpp	23
source/UnusedKinds.h	11