Bytecode Instrumentation Setup and Usage Instructions

1. Create an Eclipse Java project with the source files shared in src folder.

2. Right Click project --> Run As --> Run Configurations -->
      a. Ensure that Main class : OAuth_Scheduler2.OAuth2 and Project is the name of the project created under Main Tab
      b. Click Arguments Tab --> VM arguments enter the following by replacing <path-to-file> with the appropriate values:
          -javaagent:<path-to-file>/control_injector.jar=<path-to-file>/oauth2_cfi.txt;<path-to-file>/OAuth_1000itr_CFI.csv;false;1
      c. control_injector.jar and oauth2_cfi.txt is shared in src folder.
      d. false in the previous line state not to generate debug logs. Set to true to enable debug logs.
      e. 1 - write to the log file after every event. Alter this to write to file after buffering a certain number of events in memory.

3. Click Run with the configuration created. This will execute the project with BCI enabled.

4. Use the csv generated with the property checker plugin as described.