... | @@ -12,7 +12,7 @@ void *thread2(...) { |
... | @@ -12,7 +12,7 @@ void *thread2(...) { |
|
}
|
|
}
|
|
```
|
|
```
|
|
#### Background:
|
|
#### Background:
|
|
L2D2 works in two phases. In the first phase, it computes a set of locking dependencies for each function (regardless of its context, resulting in high scalability). In the second phase, L2D2 looks through all the computed locking dependencies and checks if there is a cyclic dependency between some of the used locks. More details on the algorithm can be found in [**Related papers**](#related-papers).
|
|
L2D2 works in two phases. In the first phase, it computes a set of locking dependencies for each function (regardless of its context, resulting in high scalability). In the second phase, L2D2 looks through all the computed locking dependencies and checks if there is a cyclic dependency between some of the used locks. More details on the algorithm can be found in the [**Related papers**](#related-papers) section.
|
|
|
|
|
|
#### Bug types:
|
|
#### Bug types:
|
|
|
|
|
... | @@ -44,3 +44,5 @@ Brno, 2019. Bachelor’s thesis. Brno University of Technology, Faculty of Infor |
... | @@ -44,3 +44,5 @@ Brno, 2019. Bachelor’s thesis. Brno University of Technology, Faculty of Infor |
|
Technology. Supervisor prof. Ing. Tomáš Vojnar, Ph.D.
|
|
Technology. Supervisor prof. Ing. Tomáš Vojnar, Ph.D.
|
|
2. Harmim, D.; Marcin, V.; Onřej, P.: [Scalable Static Analysis Using Facebook Infer](http://excel.fit.vutbr.cz/submissions/2019/059/59.pdf). In
|
|
2. Harmim, D.; Marcin, V.; Onřej, P.: [Scalable Static Analysis Using Facebook Infer](http://excel.fit.vutbr.cz/submissions/2019/059/59.pdf). In
|
|
Excel@FIT’19. Brno, Czech Republic. 2019.
|
|
Excel@FIT’19. Brno, Czech Republic. 2019.
|
|
|
|
# License
|
|
|
|
L2D2 is [MIT-licensed](https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/blob/master/LICENSE). |
|
|
|
\ No newline at end of file |