Supporting Java programming in the Svace static analyzer
The paper is devoted to the works performed within the Svace static analysis tool to support Java language. First, the approach to intercept compilation process for transparently building the analyzer internal representation should be extended to cover usage of the Java compiler API that is popular...
Gardado en:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Assuntos: | |
| Acceso en liña: | https://ispranproceedings.elpub.ru/jour/article/view/278 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|