diff options
| author | Mason Reed <mason@vector35.com> | 2024-11-12 15:30:09 -0500 |
|---|---|---|
| committer | Mason Reed <mason@vector35.com> | 2024-11-12 15:30:09 -0500 |
| commit | c4badcf63381688fa2875cd0afcb6bc45f5cf3ec (patch) | |
| tree | 3bdf5ce2a3fe18a64f6f4d0a94af66f2f4d49103 /plugins/warp/src/lib.rs | |
| parent | e7774270162baf20ad4b2dc8346d66d154861a8c (diff) | |
WARP: Allow skipping trivial function constraints
Diffstat (limited to 'plugins/warp/src/lib.rs')
| -rw-r--r-- | plugins/warp/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/warp/src/lib.rs b/plugins/warp/src/lib.rs index 2c50d978..e49e7605 100644 --- a/plugins/warp/src/lib.rs +++ b/plugins/warp/src/lib.rs @@ -35,7 +35,8 @@ pub fn build_function<A: Architecture, M: FunctionMutability, V: NonSSAVariant>( ty: from_bn_type(&func.view(), &bn_fn_ty, 255), constraints: FunctionConstraints { // NOTE: Adding adjacent only works if analysis is complete. - adjacent: cached_adjacency_constraints(func), + // NOTE: We do not filter out adjacent functions here. + adjacent: cached_adjacency_constraints(func, |_| true), call_sites: cached_call_site_constraints(func), // TODO: Add caller sites (when adjacent and call sites are minimal) // NOTE: Adding caller sites only works if analysis is complete. |