hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Give MyFlowstate a less generic name

Browse Source
This commit is contained in:
Owen Mansel-Chan
2023-08-02 14:42:15 +01:00
parent 36b1a0dc54
commit 0928fa6e1f
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
go/ql/lib/semmle/go/security/IncorrectIntegerConversionLib.qll
View File

@@ -151,7 +151,7 @@ deprecated class ConversionWithoutBoundsCheckConfig extends TaintTracking::Confi
}
/** Flow state for ConversionWithoutBoundsCheckConfig. */
newtype MyFlowState =
newtype IntegerConversionFlowState =
/** Keep track of info about the source and potential sinks. */
TFlowstate(boolean sinkIsSigned, int sourceBitSize, int sinkBitSize) {
sinkIsSigned in [true, false] and
@@ -159,10 +159,10 @@ newtype MyFlowState =
}
/** Gets the bit size of the source. */
int getSourceBitSize(MyFlowState state) { state = TFlowstate(_, result, _) }
int getSourceBitSize(IntegerConversionFlowState state) { state = TFlowstate(_, result, _) }
private module ConversionWithoutBoundsCheckConfig implements DataFlow::StateConfigSig {
class FlowState = MyFlowState;
class FlowState = IntegerConversionFlowState;
predicate isSource(DataFlow::Node source, FlowState state) {
exists(