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/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Python/Desugar/index.html
Module Python.Desugar
module Assert : sig ... end
Handling of assert statements.
module Bool : sig ... end
Handling of and/or operators.
module Comprehensions : sig ... end
Inliner of list comprehensions. This translates comprehensions into for loops. While this is not the best in terms of precision, due to the widenings we may have to do afterwards, it's a generic, rewriting-based approach that may be helpful
module If : sig ... end
Transformation of conditional expressions.
module Import : sig ... end
Inliner of imported packages.
module Import_cpython : sig ... end
module Iterable_assign : sig ... end
Assignments from iterables.
module Loops : sig ... end
Desugaring loops into a usual case
module With : sig ... end
With statement and context managers
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>