... | ... | @@ -34,18 +34,21 @@ To run the analysis, you can use plain `infer` or `infer --deadlock-only` (to ru |
|
|
* **Extended mode** -- suppressing the warnings and reducing the number of false positives (**warning:** it may cause false negatives!!!).
|
|
|
|
|
|
* `infer --deadlock-only --locking_error -- gcc -c source_code.c`
|
|
|
|
|
|
# Contact
|
|
|
If you have any questions, do not hesitate to contact the tool/method authors:
|
|
|
* **Vladimir Marcin** <<xmarci10@stud.fit.vutbr.cz>>
|
|
|
* [**Tomas Vojnar**](http://www.fit.vutbr.cz/~vojnar/) <<vojnar@fit.vutbr.cz>>
|
|
|
|
|
|
# Related Papers
|
|
|
1. MARCIN, Vladimír. [Static Analysis Using Facebook Infer Focused on Deadlock Detection](https://www.vutbr.cz/www_base/zav_prace_soubor_verejne.php?file_id=197934).
|
|
|
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.
|
|
|
1. Harmim, D.; Marcin, V.; Svobodová, L.; Vojnar, T. [Static Deadlock Detection in Low-Level C Code](https://arxiv.org/abs/2207.01948). In: Moreno-Díaz, R.; Pichler, F.; Quesada-Arencibia, A., ed. _Proceedings of the 18th International Conference on Computer Aided Systems Theory_. Las Palmas de Gran Canaria, Spain: Springer, Cham, February 20–25, 2022, volume 13789, p. 267–276. EUROCAST'22. Lecture Notes in Computer Science. DOI: 10.1007/978-3-031-25312-6_31. ISBN 978-3-031-25311-9.
|
|
|
2. Marcin, V. [_Static Analysis Using Facebook Infer Focused on Deadlock Detection_](https://www.fit.vut.cz/study/thesis/21920). Brno, 2019. Bachelor's thesis. Brno University of Technology, Faculty of Information Technology. Department of Intelligent Systems. Supervisor Vojnar, T.
|
|
|
3. Harmim, D.; Marcin, V.; Pavela, O.: [Scalable Static Analysis Using Facebook Infer](http://excel.fit.vutbr.cz/submissions/2019/059/59.pdf). In: _Proceedings of the Excel@FIT'19_. Brno, CZ. Brno University of Technology, Faculty of Information Technology, 2019.
|
|
|
|
|
|
# License
|
|
|
L2D2 is [MIT-licensed](https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/blob/master/LICENSE).
|
|
|
|
|
|
L2D2 is [MIT-licensed](https://github.com/vmarcin/L2D2/blob/master/LICENSE).
|
|
|
|
|
|
# Major Versions
|
|
|
- The initial version `1.0` of the plugin created within the H2020 ECSEL project AQUAS is available [here](https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131).
|
|
|
- The second major version `2.0` of the plugin created within the H2020 ECSEL project Arrowhead Tools is available [here](https://github.com/vmarcin/L2D2/tree/a600cd7cac9e61846426d1521c4f278914b5583b).
|
... | ... | |