package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

A front-end for the C programming language that facilitates program analysis and transformation

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (11)

Authors

G

gabriel@kerneis.info

Maintainers

Sources

goblint-cil-1.8.2.tbz

sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89

sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2

doc/goblint-cil.syntacticsearch/CodeQuery/index.html

Module `CodeQuery`

module Result = Ppx_deriving_yojson_runtime.Result

type selectable =

| Name_sel
| Location_sel
| Type_sel
| ID_sel

val selectable_to_yojson : selectable -> Yojson.Safe.t

val selectable_of_yojson : 
  Yojson.Safe.t ->
  selectable Ppx_deriving_yojson_runtime.error_or

type select = selectable list

val select_to_yojson : select -> Yojson.Safe.t

val select_of_yojson : 
  Yojson.Safe.t ->
  select Ppx_deriving_yojson_runtime.error_or

type kind =

| Var_k
| Fun_k
| Datatype_k

val kind_to_yojson : kind -> Yojson.Safe.t

val kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or

type target =

| Name_t of string
| ID_t of int
| All_t
| AllGlobVar_t
| Or_t of string list
| And_t of string list

val target_to_yojson : target -> Yojson.Safe.t

val target_of_yojson : 
  Yojson.Safe.t ->
  target Ppx_deriving_yojson_runtime.error_or

type find =

| Uses_f
| Decl_f
| Defs_f
| UsesWithVar_f of string
| Returns_f

val find_to_yojson : find -> Yojson.Safe.t

val find_of_yojson : Yojson.Safe.t -> find Ppx_deriving_yojson_runtime.error_or

type structure =

| Fun_s of string
| Cond_s
| NonCond_s
| None_s

val structure_to_yojson : structure -> Yojson.Safe.t

val structure_of_yojson : 
  Yojson.Safe.t ->
  structure Ppx_deriving_yojson_runtime.error_or

type constr =

| Constraint_c of string
| None_c

val constr_to_yojson : constr -> Yojson.Safe.t

val constr_of_yojson : 
  Yojson.Safe.t ->
  constr Ppx_deriving_yojson_runtime.error_or

type query = {

sel : select;
k : kind;
tar : target;
f : find;
str : structure;
lim : constr;

}

val query_to_yojson : query -> Yojson.Safe.t

val query_of_yojson : 
  Yojson.Safe.t ->
  query Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or

val to_string_q : query -> string

exception Error of string

val parse_json_file : string -> query