package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/src/mopsa.mopsa_c_parser/Formatted_io_placeholder.ml.html
Source file Formatted_io_placeholder.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 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
(****************************************************************************) (* *) (* This file is part of MOPSA, a Modular Open Platform for Static Analysis. *) (* *) (* Copyright (C) 2017-2019 The MOPSA Project. *) (* *) (* This program is free software: you can redistribute it and/or modify *) (* it under the terms of the GNU Lesser General Public License as published *) (* by the Free Software Foundation, either version 3 of the License, or *) (* (at your option) any later version. *) (* *) (* This program is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU Lesser General Public License for more details. *) (* *) (* You should have received a copy of the GNU Lesser General Public License *) (* along with this program. If not, see <http://www.gnu.org/licenses/>. *) (* *) (****************************************************************************) (** Types corresponding to placeholders of format strings *) open C_AST open Format (** C type of a placeholder *) type placeholder_type = | Int of integer_type | Float of float_type | Pointer | String | WideString let pp_placeholder_type fmt = function | Int ct -> fprintf fmt "Int %s" (C_print.string_of_integer_type ct) | Float ft -> fprintf fmt "Float %s" (C_print.string_of_float_type ft) | Pointer -> fprintf fmt "Ptr" | String -> fprintf fmt "String" | WideString -> fprintf fmt "WideString" (** Placeholder for output streams, e.g. printf *) type output_placeholder = { op_width: int option; op_precision: int option; op_typ: placeholder_type; } let pp_output_placeholder fmt op = Format.fprintf fmt "{%a;_;_}" pp_placeholder_type op.op_typ type output_format = | String of string | Placeholder of output_placeholder (** Placeholder for input streams, e.g. scanf *) type input_placeholder = { ip_width: int option; ip_typ: placeholder_type; } let pp_input_placeholder fmt ip = Format.fprintf fmt "{%a;_;_}" pp_placeholder_type ip.ip_typ
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>