Active Loop Detection for Applications that Access Databases
We present Shear, a new system that observes and manipulates the interaction between an application and its surrounding environment to learn a model of the behavior of the application. Shear implements active loop detection to infer the loop structures in the application. This technique repeatedly p...
| Main Authors: | , |
|---|---|
| Format: | Technical Report |
| Language: | en_US |
| Published: |
2021
|
| Online Access: | https://hdl.handle.net/1721.1/138144 |
| _version_ | 1811085732216832000 |
|---|---|
| author | Shen, Jiasi Rinard, Martin |
| author_facet | Shen, Jiasi Rinard, Martin |
| author_sort | Shen, Jiasi |
| collection | MIT |
| description | We present Shear, a new system that observes and manipulates the interaction between an application and its surrounding environment to learn a model of the behavior of the application. Shear implements active loop detection to infer the loop structures in the application. This technique repeatedly presents the application with the same input, altering the program's interaction with the environment at precisely chosen execution points to elicit different program behaviors depending on the loop structure in the application. The ability to alter interactions between the application and the environment enables Shear to infer a broader range of loop structures otherwise undetectable given only the ability to observe application behavior. Active loop detection therefore enables Shear to infer a broader range of loop structures than previous approaches. |
| first_indexed | 2024-09-23T13:14:47Z |
| format | Technical Report |
| id | mit-1721.1/138144 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:14:47Z |
| publishDate | 2021 |
| record_format | dspace |
| spelling | mit-1721.1/1381442021-11-16T03:18:09Z Active Loop Detection for Applications that Access Databases Shen, Jiasi Rinard, Martin We present Shear, a new system that observes and manipulates the interaction between an application and its surrounding environment to learn a model of the behavior of the application. Shear implements active loop detection to infer the loop structures in the application. This technique repeatedly presents the application with the same input, altering the program's interaction with the environment at precisely chosen execution points to elicit different program behaviors depending on the loop structure in the application. The ability to alter interactions between the application and the environment enables Shear to infer a broader range of loop structures otherwise undetectable given only the ability to observe application behavior. Active loop detection therefore enables Shear to infer a broader range of loop structures than previous approaches. 2021-11-15T22:40:41Z 2021-11-15T22:40:41Z 2021-11-15 Technical Report https://hdl.handle.net/1721.1/138144 en_US application/pdf |
| spellingShingle | Shen, Jiasi Rinard, Martin Active Loop Detection for Applications that Access Databases |
| title | Active Loop Detection for Applications that Access Databases |
| title_full | Active Loop Detection for Applications that Access Databases |
| title_fullStr | Active Loop Detection for Applications that Access Databases |
| title_full_unstemmed | Active Loop Detection for Applications that Access Databases |
| title_short | Active Loop Detection for Applications that Access Databases |
| title_sort | active loop detection for applications that access databases |
| url | https://hdl.handle.net/1721.1/138144 |
| work_keys_str_mv | AT shenjiasi activeloopdetectionforapplicationsthataccessdatabases AT rinardmartin activeloopdetectionforapplicationsthataccessdatabases |