cz::muni::stanse::threadchecker::ThreadChecker Class Reference
List of all members.
Class provides static analysis specialized to finding deadlocks in multiple threads.
- Jan Kučera
Member Function Documentation
Function pick choose starting CFG and build their dependency graphs, then find possible cycles and generate RAG and create appropriate errors or warnings.
|units ||List<Unit> representing all files intended to check |
- List<PresentableError> representing all errors that checker found
The documentation for this class was generated from the following file: