| Project/Area Number |
26730033
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2014: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
|---|
| Keywords | プログラム解析 / 並行処理 / 記号実行 / 並行バグ / トランザクション / 並行制御 / テスト / デバッグ |
|---|
| Outline of Final Research Achievements |
We have extended dynamic symbolic execution (DSE) to find concurrency bugs. Traditional DSE systems are sequential and fail to explore concurrency bugs efficiently. To achieve our extension, we first incorporated a race detection scheme into an existing sequential DSE system so that it can find potential races on shared data. Next, we proposed methods to efficiently identify probably-real races among potential ones. Finally, inspired by transaction processing, we integrated a rollback-like scheme into our concurrent DSE system, in order to reproduce real racy-interleavings efficiently.
|
