General

Profile

AK Alexey Khoroshilov

  • Login: khoroshilov
  • Registered on: 11/25/2009
  • Last sign in: 09/30/2026

Issues

open closed Total
Assigned issues 5 252 257
Reported issues 41 168 209

Projects

Project Roles Registered on
1-Click Eclipse Text Editor Manager, Project Creator 06/27/2014
Aspectrace Manager, Developer 01/28/2019
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Manager, Developer, Project Creator 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer, Project Creator 04/26/2018
Build Analyzer Manager, Developer, Project Creator 04/19/2017
C Instrumentation Framework Reporter 06/05/2012
Aspectator Reporter 02/27/2018
Clade Manager, Developer 10/19/2018
Kartographer Manager, Project Creator 11/18/2015
MicroTESK for PowerPC Manager 10/21/2016
Race Hound Manager, Developer, Project Creator 09/05/2012
KEDR Manager, Developer 06/20/2011
Klever Manager, Developer RO 09/04/2015
Linux Driver Verification Manager, Project Creator 05/20/2010
BLAST Manager 09/16/2011
LDV Tools Manager, Project Creator 03/17/2018
CPAchecker Manager, Project Creator 07/28/2018
CVC3 with small optimizations for BLAST Manager, Project Creator 07/25/2018
Linux Kernel Safety RuleDB Manager, Developer, Project Creator 10/25/2011
Linux Kernel Rules Repo Project Creator 07/29/2018
Технологический центр исследования безопасности ядра Linux Manager, Developer 02/22/2022
memconfigcheck Manager, Developer, Project Creator 01/15/2019
TSMT: Tools for bounded E-Matching Manager, Developer, Project Creator 01/16/2020
Requality Manager, Developer, Product Owner 11/26/2009
Runtime Verification Manager 01/13/2023
VerKer - Verification of Linux Kernel Library Functions Manager, Developer, Reporter 05/09/2017
MASIW Framework Manager, Project Creator 09/11/2013
Examples of behavioral AADL models Manager 02/13/2017

Activity

11/02/2023

AK 09:37 AM Requality Bug #12707: Несоответствие между кешами версий узлов и коммитов
слияние, наверное, это частный случай, любое изменение в истории коммитов, которое детектируется отсутствием хэша предыдущей головы ветки, должно приводить к сбросу кеша истории Alexey Khoroshilov

09/04/2022

AK 12:34 AM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#13)
Alexey Khoroshilov

08/23/2022

AK 08:41 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#14)
Alexey Khoroshilov

08/16/2022

AK 10:39 AM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#12)
Alexey Khoroshilov

07/14/2022

AK 04:24 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#11)
Alexey Khoroshilov
AK 04:21 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#10)
Alexey Khoroshilov
AK 04:18 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#9)
Alexey Khoroshilov
AK 04:17 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#8)
Alexey Khoroshilov

07/08/2022

AK 11:30 AM Технологический центр исследования безопасности ядра Linux Bug #11743 (New): syzkaller: memory leak in can_create
Alexey Khoroshilov

06/30/2022

AK 07:15 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#7)
Alexey Khoroshilov

Also available in: Atom