diff --git a/rust/ql/lib/codeql/rust/frameworks/stdlib/alloc.model.yml b/rust/ql/lib/codeql/rust/frameworks/stdlib/alloc.model.yml index 8859bd1c336..78d1cbdec29 100644 --- a/rust/ql/lib/codeql/rust/frameworks/stdlib/alloc.model.yml +++ b/rust/ql/lib/codeql/rust/frameworks/stdlib/alloc.model.yml @@ -64,3 +64,5 @@ extensions: - ["::from", "sink", "manual"] - ["::from", "sink", "manual"] - ["::from", "sink", "manual"] + - ["::split_off", "sink", "manual"] + - ["::split_off", "sink", "manual"] diff --git a/rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll b/rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll index 0390ca77932..c6251563ea6 100644 --- a/rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll +++ b/rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll @@ -63,17 +63,4 @@ module UncontrolledAllocationSize { branch = false ) } - - /** - * A barrier for uncontrolled allocation size flow into particular functions. - */ - private class ModeledBarrier extends Barrier { - ModeledBarrier() { - exists(MethodCall c | - c.getStaticTarget().getCanonicalPath() = - ["::split_off", "::split_off"] and - this.asExpr() = c.getAnArgument() - ) - } - } }