solidity/libsolidity/analysis
chriseth 20efba6b55
Merge pull request #9568 from ethereum/fixImmutables
Fix reads checks for complex assignment and increment/decrement for immutable variables.
2020-08-28 16:14:18 +02:00
..
ConstantEvaluator.cpp Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ConstantEvaluator.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ContractLevelChecker.cpp Merge remote-tracking branch 'origin/develop' into breaking 2020-07-21 11:35:28 +02:00
ContractLevelChecker.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowAnalyzer.cpp Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowAnalyzer.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowBuilder.cpp Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowBuilder.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowGraph.cpp Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ControlFlowGraph.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
DeclarationContainer.cpp Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
DeclarationContainer.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
DeclarationTypeChecker.cpp Use assert to check zero size base type 2020-07-28 17:39:52 +02:00
DeclarationTypeChecker.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
DocStringAnalyser.cpp NatSpec: Implement `@inheritdoc` 2020-07-20 18:32:18 +02:00
DocStringAnalyser.h NatSpec: Implement `@inheritdoc` 2020-07-20 18:32:18 +02:00
DocStringTagParser.cpp Use assert to check if return tag applies to a public state-variable 2020-08-03 05:22:09 +02:00
DocStringTagParser.h NatSpec: Implement `@inheritdoc` 2020-07-20 18:32:18 +02:00
GlobalContext.cpp Free functions. 2020-08-18 11:46:59 +02:00
GlobalContext.h Free functions. 2020-08-18 11:46:59 +02:00
ImmutableValidator.cpp Merge pull request #9568 from ethereum/fixImmutables 2020-08-28 16:14:18 +02:00
ImmutableValidator.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
NameAndTypeResolver.cpp Free functions. 2020-08-18 11:46:59 +02:00
NameAndTypeResolver.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
OverrideChecker.cpp Merge remote-tracking branch 'origin/develop' into breaking 2020-07-21 11:35:28 +02:00
OverrideChecker.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
PostTypeChecker.cpp Make FunctionCallAnnotation::kind a SetOnce 2020-08-12 11:57:01 -04:00
PostTypeChecker.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
ReferencesResolver.cpp Fix inheritdoc tags trying to resolve 'empty' elements 2020-08-26 21:28:00 +02:00
ReferencesResolver.h Merge remote-tracking branch 'origin/develop' into breaking 2020-07-21 11:35:28 +02:00
StaticAnalyzer.cpp Free functions. 2020-08-18 11:46:59 +02:00
StaticAnalyzer.h Add SPDX license identifier if not present already in source file 2020-07-17 20:24:12 +05:30
SyntaxChecker.cpp Improve error coverage of syntax checker 2020-08-20 03:23:21 +02:00
SyntaxChecker.h Improve error coverage of syntax checker 2020-08-20 03:23:21 +02:00
TypeChecker.cpp Merge pull request #9691 from ethereum/oversized-function-array 2020-08-28 13:57:47 +02:00
TypeChecker.h Disallow `using for` directive for interfaces. 2020-08-27 15:57:51 +02:00
ViewPureChecker.cpp Use opportunistic visiting order for modifiers. 2020-08-18 11:46:59 +02:00
ViewPureChecker.h Use opportunistic visiting order for modifiers. 2020-08-18 11:46:59 +02:00