File: control

package info (click to toggle)
wala 1.5.1-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 20,072 kB
  • sloc: java: 185,631; xml: 6,066; cpp: 1,161; sh: 204; python: 46; makefile: 45; ml: 12; lisp: 8
file content (76 lines) | stat: -rw-r--r-- 2,843 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
Source: wala
Section: java
Priority: optional
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders: Kai-Chung Yan <seamlikok@gmail.com>
Build-Depends: debhelper (>= 10~),
               default-jdk-doc,
               default-jdk-headless (>= 2:1.8) | default-jdk (>= 2:1.8),
               gradle-debian-helper,
               javahelper,
               libcommons-cli-java,
               libcommons-io-java,
               libguava-java,
               liblogback-java,
               libslf4j-java,
               libsmali-java (>= 2.2.6),
               maven-repo-helper
Standards-Version: 4.3.0
Vcs-Git: https://salsa.debian.org/java-team/wala.git
Vcs-Browser: https://salsa.debian.org/java-team/wala
Homepage: http://wala.sourceforge.net

Package: libwala-java
Architecture: all
Depends: libcommons-cli-java,
         libcommons-io-java,
         libguava-java,
         liblogback-java,
         libslf4j-java,
         libsmali-java (>= 2.2.6),
         ${misc:Depends}
Description: Static analysis on Java bytecode and related languages
 The T. J. Watson Libraries for Analysis (WALA) provide static analysis
 capabilities for Java bytecode and related languages and for JavaScript. WALA
 features include:
 .
   * Java type system and class hierarchy analysis
   * Source language framework supporting Java and JavaScript
   * Interprocedural dataflow analysis (RHS solver)
   * Context-sensitive tabulation-based slicer
   * Pointer analysis and call graph construction
   * SSA-based register-transfer language IR
   * General framework for iterative dataflow
   * General analysis utilities and data structures
   * A bytecode instrumentation library (Shrike) and a dynamic load-time
     instrumentation library for Java (Dila)
 .
 Currently this package provides the following libraries:
 .
   * wala-cast
   * wala-core
   * wala-dalvik
   * wala-shrike
   * wala-util

Package: libwala-java-doc
Section: doc
Architecture: all
Depends: default-jdk-doc, ${misc:Depends}
Description: Static analysis on Java bytecode and related languages - Docs
 The T. J. Watson Libraries for Analysis (WALA) provide static analysis
 capabilities for Java bytecode and related languages and for JavaScript. WALA
 features include:
 .
   * Java type system and class hierarchy analysis
   * Source language framework supporting Java and JavaScript
   * Interprocedural dataflow analysis (RHS solver)
   * Context-sensitive tabulation-based slicer
   * Pointer analysis and call graph construction
   * SSA-based register-transfer language IR
   * General framework for iterative dataflow
   * General analysis utilities and data structures
   * A bytecode instrumentation library (Shrike) and a dynamic load-time
     instrumentation library for Java (Dila)
 .
 This package provides the documentations.