General

Profile

Pavel Andrianov

  • Login: andrianov
  • Email: andrianov@ispras.ru
  • Registered on: 08/08/2012
  • Last connection: 04/01/2021

Issues

open closed Total
Assigned issues 4 11 15
Reported issues 31 52 83

Projects

Project Roles Registered on
Build Analyzer Developer 04/19/2017
C Instrumentation Framework Reporter 02/27/2018
Aspectator Reporter 02/27/2018
Kartographer Reporter, Customer 04/07/2017
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 08/08/2013
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 10/16/2014

Activity

Also available in: Atom