This plugin is designed to run static analysis on top of infection/infection test runs in order to discover if escaped mutants are valid mutations, or if they do not respect the type signature of your ...

This SonarSource project is a code analyzer for Java projects to help developers produce Clean Code. Information about the analysis of Java features is available here. To provide feedback (request a ...

The Remote Procedure Call (RPC) is commonly used for inter-process communications over network, allowing a program to invoke a procedure in another address space, even in another machine as if it were ...

In this paper, we propose a method for static detection of malicious intent of programs by expressing the properties of its source code through ontology. Our study concentrates on unraveling the ...