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...
| الحاوية / القاعدة: | Труды Института системного программирования РАН |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ispranproceedings.elpub.ru/jour/article/view/278 |