Simplify get int

This commit is contained in:
edvraa
2021-05-11 13:01:26 +03:00
committed by Chris Smowton
parent c9c22fd871
commit c95295aa81

View File

@@ -17,9 +17,7 @@ import DataFlow::PathGraph
class RsaKeyTrackingConfiguration extends DataFlow::Configuration {
RsaKeyTrackingConfiguration() { this = "RsaKeyTrackingConfiguration" }
override predicate isSource(DataFlow::Node source) {
source.asExpr().(ValueExpr).getIntValue() < 2048
}
override predicate isSource(DataFlow::Node source) { source.getIntValue() < 2048 }
override predicate isSink(DataFlow::Node sink) {
exists(DataFlow::CallNode c |