2016 Fiscal Year Final Research Report
Transactional Symbolic Execution
| 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
|
| 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.
|
| Free Research Field |
情報科学
|
