Skip to content

Commit

Permalink
Remove extraneous comments / prints
Browse files Browse the repository at this point in the history
  • Loading branch information
chameco committed May 15, 2020
1 parent 4cdebba commit fb3c58c
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions src/SAWScript/Crucible/LLVM/X86.hs
Original file line number Diff line number Diff line change
Expand Up @@ -191,7 +191,6 @@ crucible_llvm_verify_x86 bic opts (Some (llvmModule :: LLVMModule x)) path nm gl
sfs <- liftIO $ Macaw.newSymFuns sym

(C.SomeCFG cfg, elf, relf, addr) <- liftIO $ buildCFG opts halloc path nm
liftIO $ print cfg
addrInt <- if Macaw.segmentBase (Macaw.segoffSegment addr) == 0
then pure . toInteger $ Macaw.segmentOffset (Macaw.segoffSegment addr) + Macaw.segoffOffset addr
else fail $ mconcat ["Address of \"", nm, "\" is not an absolute address"]
Expand Down Expand Up @@ -223,9 +222,6 @@ crucible_llvm_verify_x86 bic opts (Some (llvmModule :: LLVMModule x)) path nm gl
emptyState <- liftIO $ initialState sym opts sc cc elf relf methodSpec globsyms maxAddr
(env, preState) <- liftIO . runX86Sim emptyState $ setupMemory globsyms

-- (C.SomeCFG ovcfg, _, _, _) <- liftIO $ buildCFG opts halloc path "sha256_block_data_order_avx"
-- liftIO $ print ovcfg

let
funcLookup = Macaw.LookupFunctionHandle $ \_ _ _ ->
fail "Attempted to call a function during x86 verification"
Expand Down Expand Up @@ -305,7 +301,6 @@ buildCFG opts halloc path nm = do
& Macaw.trustedFunctionEntryPoints .~ Set.empty
(fstate, Some finfo) <-
stToIO $ Macaw.analyzeFunction (const $ pure ()) addr Macaw.UserRequest initialDiscoveryState
print $ Macaw.ppDiscoveryStateBlocks fstate
scfg <- Macaw.mkFunCFG Macaw.x86_64MacawSymbolicFns halloc
(W4.functionNameFromText $ Text.pack nm) posFn finfo
pure (scfg, elf, relf, addr)
Expand Down

0 comments on commit fb3c58c

Please sign in to comment.