Vitaly Mordan
Vitaly Mordan- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 04/02/2020
Issues
- Assigned issues: 19
- Reported issues: 55
Projects
- Verification Tool Supports (Manager, Developer, 11/15/2018)
- VerKer - Verification of Linux Kernel Library Functions (Developer, Reporter, 11/15/2018)
- Linux Driver Verification (Developer, 06/28/2013)
- Linux Kernel Safety RuleDB (Developer, 09/26/2014)
- Klever (Developer RO, 03/12/2017)
- Kartographer (Reporter, 07/10/2017)
- LDV Tools (Developer, 03/17/2018)
- AstraVer Toolset (Developer, 04/26/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, 04/26/2018)
- Дополнительные материалы к монографии (Developer, 04/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
Activity
02/18/2019
-
01:29 PM Clade Revision a0b8e523: Prevent failures on undefined functions
12/12/2018
-
- Evgeny Novikov wrote:
> But there can be files with the same names but various contents. So, it seems you suggest a ... -
- For example, we have the following hierarchy of nodes in report:
-root
--Component1
--Component2
---CPAchecker_1
... -
- Now each unsafe node is tied to verification node (with resources, logs, etc.).
Unlike variable names in races, some... -
- Feature #8704 allowed to separated source files from error traces and put them into a single archive, which can be us...
08/31/2017
-
-
08/02/2017
-
-
-
Also available in: Atom