|
22 | 22 | - [Using a "fat" jar](#using-a-fat-jar) |
23 | 23 | - [Basic usage](#basic) |
24 | 24 | - [Running on big projects (hadoop)](#running-on-big-projects-hadoop) |
| 25 | + - [Results](#results) |
25 | 26 | - [Full Usage Specification](#full) |
26 | 27 | - [Notation](#notation) |
27 | 28 | - [Input configuration](#input-configuration) |
@@ -1098,6 +1099,25 @@ Executing these commands should create the following files: |
1098 | 1099 | 2. `hadoop_out` should contain the produced `.sarif` files. Each `.sarif` file corresponds to a single `.java` file in the repository. |
1099 | 1100 | 3. `hadoop.json` should contain the aggregated SARIF output for all the files in the repository. This `.json` file contains a single [`sarifLog`](https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/sarif-v2.1.0-os.html#_Toc34317478) object. This object has a property called [`runs`](https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/sarif-v2.1.0-os.html#_Toc34317482), which is an array of `run` objects. Each [`run`](https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/sarif-v2.1.0-os.html#_Toc34317484) object contains the name of the analyzed file and the [`results`](https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/sarif-v2.1.0-os.html#_Toc34317507) property, which holds the results of all the analyzers that completed successfully. |
1100 | 1101 |
|
| 1102 | +## Results: |
| 1103 | +[(Back to TOC)](#polystat-cli) |
| 1104 | + |
| 1105 | +To battle-test our prototype analyzer, we have paired |
| 1106 | +it with J2EO transpiler (from Java to EO) and created |
| 1107 | +polystat-cli — a command line tool for running polystat with different settings and different transpilers. We have |
| 1108 | +used J2EO v0.5.3, odin v0.4.5, FaR v0.2.0. Using J2EO and |
| 1109 | +Polystat with all five analyzers turned on takes about one hour |
| 1110 | +of processing on a computer with 2.4GHz 8-Core Intel Core |
| 1111 | +i9 processor and 32 GB 2667 MHz DDR4 memory running |
| 1112 | +macOS 12.4. The result is as follows: |
| 1113 | +1) 10378 Java files have been translated successfully and no |
| 1114 | +defects have been detected by Polystat; |
| 1115 | +2) 2054 Java files have been translated incorrectly by J2EO |
| 1116 | +(invalid syntax); |
| 1117 | +3) 433 Java files have been translated by J2EO without |
| 1118 | +appropriate import information, so Polystat could not resolve some of the identifiers used to properly analyze |
| 1119 | +the code. |
| 1120 | + |
1101 | 1121 | # <a name="full"></a> Full Usage Specification |
1102 | 1122 |
|
1103 | 1123 | [(Back to TOC)](#polystat-cli) |
|
0 commit comments