... | ... | @@ -12,7 +12,7 @@ void *thread2(...) { |
|
|
}
|
|
|
```
|
|
|
#### 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:
|
|
|
|
... | ... | @@ -43,4 +43,6 @@ If you have any questions, do not hesitate to contact the tool/method authors: |
|
|
Brno, 2019. Bachelor’s thesis. Brno University of Technology, Faculty of Information
|
|
|
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
|
|
|
Excel@FIT’19. Brno, Czech Republic. 2019. |
|
|
\ No newline at end of file |
|
|
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 |