S
static analysis
Projects with this topic
-
Abstract domain for function graphs, and fixpoint solvers based on them
Updated -
Static analyzers for higher-order languages
Updated
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
La mise à jour de sécurité sans préavis est terminée. Désolé pour cette interruption de service de quelques minutes.
Abstract domain for function graphs, and fixpoint solvers based on them
Static analyzers for higher-order languages