Xulei-NL / dmf Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An instance of a dynamic monotone framework for type analysis for Python.

Apache-2.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 310 Commits
dmf		dmf
examples		examples
tests		tests
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
requirements.txt		requirements.txt
setup.py		setup.py

Repository files navigation

dmf

An instance of a dynamic monotone framework for type analysis for Python.

The principles of dmf

Construct a control flow graph G
Extract flows F from G
Construct a points-to analysis framework P
Construct a monotone framework MF based on P
Compute type information T by maximal fixed point algorithm

About

An instance of a dynamic monotone framework for type analysis for Python.

Apache-2.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages