Pavel Andrianov - Open-Source Projects

Pavel Andrianov

Email: andrianov@ispras.ru
Registered on: 08/08/2012
Last connection: 10/18/2020

Issues

Assigned issues: 4
Reported issues: 72

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/30/2020

10:01 AM Klever Bug #10504 (New): EMG does not initialize device variable: In @emg_pm_pm_ops_scenario_delta_pm_ops@ scenario function variable @emg_8_device@ is just declared, without any init... Pavel Andrianov

09/03/2020

03:59 PM Klever Revision dbe3fd9b: One more update: Pavel Andrianov
03:57 PM Klever CPAchecker-1.8-svn-34860-unix.tar.xz: Pavel Andrianov
03:22 PM Klever Revision 33dbbd6a: Update link: Pavel Andrianov
03:11 PM Klever Revision 15fb9464: Update tests and configuration: Pavel Andrianov

09/02/2020

04:23 PM Klever Feature #10481 (Resolved): Update CPALockator to support rcu analysis: Pavel Andrianov
02:16 PM Klever Revision 2ef55ec7: Fix warnings and update CPALockator version: Pavel Andrianov
12:17 PM Klever Revision 6305d8f7: Update tests: Pavel Andrianov

08/28/2020

07:52 PM Klever Feature #10481 (Closed): Update CPALockator to support rcu analysis: To update CPALockator it is necessary to write a rule specification for instrumentation of rcu functions. Also, it is... Pavel Andrianov

08/27/2020

02:04 PM Klever Revision 69c6f639: Fixes in tests: Pavel Andrianov

Also available in: Atom