From af3659f9f1e887a87ddd09e5fa5331923dbd00dc Mon Sep 17 00:00:00 2001 From: Eric Zhang Date: Fri, 15 Nov 2024 15:07:12 -0600 Subject: [PATCH] Doop Framework moved their source code to github (#1641) --- data/tools/doop.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/data/tools/doop.yml b/data/tools/doop.yml index 40506cc380..62780365ba 100644 --- a/data/tools/doop.yml +++ b/data/tools/doop.yml @@ -6,6 +6,6 @@ tags: license: UPL types: - cli -source: 'https://bitbucket.org/yanniss/doop' -homepage: 'https://bitbucket.org/yanniss/doop' +source: 'https://github.com/plast-lab/doop' +homepage: 'https://plast-lab.github.io/doop-pldi15-tutorial/' description: Doop is a declarative framework for static analysis of Java/Android programs, centered on pointer analysis algorithms. Doop provides a large variety of analyses and also the surrounding scaffolding to run an analysis end-to-end (fact generation, processing, statistics, etc.).