Skip to content
Snippets Groups Projects
Commit 2f082a07 authored by Loïc Correnson's avatar Loïc Correnson Committed by Allan Blanchard
Browse files

[ivette] fix invalid marker when getting callee

parent f37e9968
No related branches found
No related tags found
No related merge requests found
...@@ -688,7 +688,7 @@ function useFctCallers(fct: Fct): Eva.CallSite[] { ...@@ -688,7 +688,7 @@ function useFctCallers(fct: Fct): Eva.CallSite[] {
// Server request handler returning the given function's callers. // Server request handler returning the given function's callers.
function useCallees(marker: Marker): Fct[] { function useCallees(marker: Marker): Fct[] {
return States.useRequest(Eva.getCallees, marker) ?? []; return States.useRequest(Eva.getCallees, marker || undefined) ?? [];
} }
// Server request handler returning the tainted lvalues. // Server request handler returning the tainted lvalues.
......
...@@ -205,7 +205,8 @@ struct ...@@ -205,7 +205,8 @@ struct
let to_json loc = `String (tag loc) let to_json loc = `String (tag loc)
let of_json js = let of_json js =
try find (Js.to_string js) try find (Js.to_string js)
with Not_found -> Data.failure "not a localizable marker" with Not_found ->
Data.failure "invalid marker (%a)" Json.pp_dump js
end end
...@@ -466,6 +467,7 @@ let () = Request.register ~package ...@@ -466,6 +467,7 @@ let () = Request.register ~package
let () = Request.register ~package let () = Request.register ~package
~kind:`GET ~name:"printFunction" ~kind:`GET ~name:"printFunction"
~descr:(Md.plain "Print the AST of a function") ~descr:(Md.plain "Print the AST of a function")
~signals:[changed_signal]
~input:(module Function) ~output:(module Jtext) ~input:(module Function) ~output:(module Jtext)
begin fun kf -> begin fun kf ->
let libc = Kernel.PrintLibc.get () in let libc = Kernel.PrintLibc.get () in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment