Pavel Andrianov
Pavel Andrianov- Email: andrianov@ispras.ru
- Registered on: 08/08/2012
- Last connection: 09/10/2020
Issues
- Assigned issues: 4
- Reported issues: 71
Projects
- Linux Driver Verification (Developer, 08/08/2013)
- Linux Kernel Safety RuleDB (Developer, 10/16/2014)
- Klever (Developer RO, 09/04/2015)
- Kartographer (Reporter, Customer, 04/07/2017)
- Build Analyzer (Developer, 04/19/2017)
- C Instrumentation Framework (Reporter, 02/27/2018)
- Aspectator (Reporter, 02/27/2018)
- LDV Tools (Developer, 03/17/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
Activity
09/03/2020
-
03:59 PM Klever Revision dbe3fd9b: One more update
-
-
-
09/02/2020
-
-
-
08/28/2020
-
- To update CPALockator it is necessary to write a rule specification for instrumentation of rcu functions. Also, it is...
08/27/2020
-
08/21/2020
-
Also available in: Atom