package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
doc/src/goblint.constraint/varQuery.ml.html
Source file varQuery.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
open GoblintCil type t = | Global of CilType.Varinfo.t | Node of {node: Node.t; fundec: CilType.Fundec.t option} [@@deriving ord] type 'v f = 'v -> unit let varinfo_from_global (g : Cil.global) : Cil.varinfo option = match g with | GFun (f, _) -> Some f.svar | GVar (v, _, _) -> Some v | GVarDecl (v, _) -> Some v | _ -> None let varquery_from_global (g : Cil.global) : t option = match g with | GFun (f, _) -> Some (Node {node = FunctionEntry f; fundec = Some f}) | GVar (v, _, _) -> Some (Global v) | GVarDecl (v, _) -> Some (Global v) | _ -> None let varqueries_from_names (file: Cil.file) (names: string list): t list * string list = let module SM = Set.Make(Printable.Strings) in let set = SM.of_list names in (* Find list of [Cil.global]s that have one of the queried names, and a set of the found names *) let globals, matched = Cil.foldGlobals file (fun ((globs, matched) as acc) g -> match varinfo_from_global g, varquery_from_global g with | Some v, Some vq -> begin match SM.mem v.vname set with | true -> (vq::globs, SM.add v.vname matched) | _ -> acc end | None, None -> acc | _, _ -> assert false ) ([], SM.empty) in (* List of queried but not found names *) let unmatched = List.filter (fun s -> not @@ SM.mem s matched) names in globals, unmatched
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>