package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4
doc/src/python/python.ml.html
Source file python.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
(* * This file is part of MOPSA, a Modular Open Platform for Static Analysis. * * SPDX-FileCopyrightText: 2017-2024 The Mopsa Authors * * SPDX-License-Identifier: LGPL-3.0-or-later * * * 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/>. *) include Python_lang.Lang include Python_common.Common module Common = Python_common.Common module Data_model = Data_model module Desugar = Desugar module Flows = Python_flows.Flows module Hooks = Python_hooks.Hooks module Lang = Python_lang.Lang module Libs = Python_libs.Libs module Objects = Python_objects.Objects module Packing = Python_packing.Packing module Types = Types
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>