Sökning: "JFeature Static Analyser"

Hittade 1 avhandling innehållade orden JFeature Static Analyser.

1. 1. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

   Författare :Idriss Riouak; Programvaruteknik; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

   Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER