AutoCL WEB APP

AutoCL

ID: --

Source Code

Select Preset

No project uploaded

Output

Created Directories and Files

Editor

No file selected

Account Login

Sign in to your project space

ID Password

Connected Account Directories

Account directories will be loaded after login.

After logging in, you can view project lists and upload per account.

Learning Setup Tool

Variable of Interest

Fuzzing Timeout

seconds

Unwind

(default:10)

Step Pipeline

Running steps in order will automatically enable the next button.

Source Code

Output

Spec Gen

Open

Rename

Delete Directory

Learn Output Browser

Source Code

Output

Compare

All VoI Learn Outputs

Comparison Window 1: No file selected

Select a file from the left.

Learn output preview left

Comparison Window 2: No file selected

Select a file from the left.

Learn output preview right

All VoI Learn Outputs

No VoI learn outputs found yet.

Learn Tool

Learn Options

Output

Timeout

seconds (max 600)

Modify syntactic constraint

Edit the values of -syn-list in options.txt.