Skip to content

Tutorial 2. FluentTQL Magpie Bridge Configuration Page.

Jump to bottom
Ranjith K edited this page May 17, 2021 · 9 revisions

Once the FluentTQL-Magpie Bridge has been set up, it opens the below configuration page.

FirstconfigurationPage In the above configuration page, below the SecuCheck title, it shows the project that the configuration page is opened for. In our example configuration page is for the "demo-project" project. The first configuration page provides the full absolute path of the compiled jar of the fluentTQL specifications that you have written and click "Submit Configuration". Then it opens the second below configuration page.

SecondconfigurationPage Below are the functionality of the main buttons.

  • Submit Configuration: Submits the currently configured settings to the SecuCheck.
  • Run Analysis: Runs the analysis based on the previously submitted configuration settings.
  • Cancel Analysis: Cancels the running analysis.
  • Clear Result Markers: Clears the markers on the IDE created by this instance of the configuration page. Note: This will not clear the markers that are created by other applications or other instances of the SecuCheck.
  • Select All: Selects all the opened tab.
  • Deselect All: De-Selects all the opened tab.

In the second configuration page, please select the Internal-FluentTQL specification that the analysis should use to analyze the programs from the "FluentTQL Specification" tab, and second, please select the Java class that the analysis uses as an entry point for the analysis from the "Entry Points" tab. Selects the solver from the "Analysis Solver" tab. Then, click the "Submit Configuration" button to submit the configuration to the SecuCheck.

Finally, click the "Run Analysis" button to run the analysis.

Clone this wiki locally