Package it.unive.lisa

Class LiSA

  • public class LiSA
extends java.lang.Object
    This is the central class of the LiSA library. While LiSA's functionalities can be extended by providing additional implementations for each component, code executing LiSA should rely solely on this class to engage the analysis, provide inputs to it and retrieve its results.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String REPORT_NAME
      The name of the json report that LiSA can optionally dump.

    • Constructor Summary

      Constructors 
      Constructor Description
      LiSA​(LiSAConfiguration conf)
      Builds a new LiSA instance.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      LiSAReport run​(Program... programs)
      Runs LiSA, executing all the checks that have been added.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • REPORT_NAME

        public static final java.lang.String REPORT_NAME
        The name of the json report that LiSA can optionally dump.
        See Also:
        Constant Field Values

    • Constructor Detail

      • LiSA

        public LiSA​(LiSAConfiguration conf)
        Builds a new LiSA instance.
        Parameters:
        conf - the configuration of the analysis to run

    • Method Detail

      • run

        public LiSAReport run​(Program... programs)
               throws AnalysisException
        Runs LiSA, executing all the checks that have been added.
        Parameters:
        programs - the programs, each written in a single programming language, to analyze
        Returns:
        the LiSAReport containing the details of the analysis
        Throws:
        AnalysisException - if anything goes wrong during the analysis