Fixes spectre recipe (#18)

* fixes spectre recipe * re-indented code
BinaryAnalysisPlatform · Feb 20, 2024 · c892076 · c892076
1 parent bb89501
commit c892076
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/spectre/ddtbd.ml b/spectre/ddtbd.ml
@@ -484,8 +484,10 @@ module Detector(Machine : Primus.Machine.S) = struct
  Machine.Global.put models m >>= fun () ->
  Machine.Local.put state s >>= fun () ->
  Machine.List.iter step3 ~f:(fun h3 ->
- let taints = Set.union h3.cnd_taint h3.off_taint |>
- Set.to_sequence in
+ Set.to_sequence h3.cnd_taint |>
+ Machine.Seq.filter ~f:(fun t ->
+ Object.kind t >>= Kind.name >>| fun s ->
+ s = "untrusted") >>= fun taints ->
  let taints = if get all_models then taints
  else Seq.take taints 1 in
  Machine.Seq.iter taints ~f:(fun t ->

diff --git a/spectre/recipe.scm b/spectre/recipe.scm
@@ -4,11 +4,9 @@
 
 (option primus-lisp-load
  posix
- memcheck-malloc
  limit-malloc
  taint-inputs
- gather-spectre
- sensitive-sinks)
+ gather-spectre)
 
 (option primus-lisp-channel-redirect
  <stdin>:$prefix/stdin