Nikola Matic 9a87b587d5 Disallow immutable initialization in try catch statements ... Trigger github		2023-05-09 14:48:14 +02:00
..
ConstantEvaluator.cpp
ConstantEvaluator.h
ContractLevelChecker.cpp
ContractLevelChecker.h
ControlFlowAnalyzer.cpp
ControlFlowAnalyzer.h
ControlFlowBuilder.cpp
ControlFlowBuilder.h
ControlFlowGraph.cpp
ControlFlowGraph.h
ControlFlowRevertPruner.cpp
ControlFlowRevertPruner.h
DeclarationContainer.cpp
DeclarationContainer.h
DeclarationTypeChecker.cpp
DeclarationTypeChecker.h
DocStringAnalyser.cpp
DocStringAnalyser.h
DocStringTagParser.cpp
DocStringTagParser.h
FunctionCallGraph.cpp
FunctionCallGraph.h
GlobalContext.cpp
GlobalContext.h
ImmutableValidator.cpp	Disallow immutable initialization in try catch statements	2023-05-09 14:48:14 +02:00
ImmutableValidator.h	Disallow immutable initialization in try catch statements	2023-05-09 14:48:14 +02:00
NameAndTypeResolver.cpp
NameAndTypeResolver.h
OverrideChecker.cpp
OverrideChecker.h
PostTypeChecker.cpp
PostTypeChecker.h
PostTypeContractLevelChecker.cpp
PostTypeContractLevelChecker.h
ReferencesResolver.cpp
ReferencesResolver.h
Scoper.cpp
Scoper.h
StaticAnalyzer.cpp
StaticAnalyzer.h
SyntaxChecker.cpp
SyntaxChecker.h
TypeChecker.cpp
TypeChecker.h
ViewPureChecker.cpp
ViewPureChecker.h