Skip to content

Commit

Permalink
update doop information
Browse files Browse the repository at this point in the history
  • Loading branch information
ericspring08 committed Nov 15, 2024
1 parent 20c12f6 commit 09ab071
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions data/tools/doop.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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.).

0 comments on commit 09ab071

Please sign in to comment.