Finds possible bugs in your code.
phpmd.org
Alternatives à
JMLOK 2.0
Meilleures alternatives à JMLOK 2.0 en 2026
Detects inconsistencies between code and JML specification through feedback-directed random tests generation, and suggests a likely cause for each nonconformance detected. (GPL-3.0-only) — Trouvez la meilleure alternative parmi 2 options sélectionnées.
JMLOK 2.0 est "Detects inconsistencies between code and JML specification through feedback-directed random tests generation, and suggests a likely cause for each nonconformance detected. (GPL-3.0-only)". Si vous cherchez une alternative à JMLOK 2.0 — que ce soit pour des raisons de prix, de fonctionnalités ou de compatibilité — mySelectas a sélectionné les meilleures options disponibles en 2026. Les alternatives les plus populaires incluent : FindBugs, PMD.