From 09ab0716a8a472d4eb7b33db9951687b51f4704d Mon Sep 17 00:00:00 2001 From: Eric Zhang Date: Fri, 15 Nov 2024 14:57:02 -0600 Subject: [PATCH] update doop information --- 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 40506cc38..62780365b 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.).