Ilya Shchepetkov
Ilya Shchepetkov- Email: shchepetkov@ispras.ru
- Registered on: 07/11/2012
- Last connection: 06/19/2019
Issues
- Assigned issues: 12
- Reported issues: 35
Projects
- Linux Driver Verification (Developer, 07/11/2012)
- Linux Kernel Safety RuleDB (Developer, 07/11/2012)
- C Instrumentation Framework (Developer, 12/29/2012)
- Klever (Developer RO, 09/04/2015)
- Kartographer (Manager, Developer, 11/18/2015)
- BLAST (Reporter, 08/20/2012)
- Clade (Manager, Developer, Project Creator, 02/22/2018)
- Aspectator (Developer, 02/27/2018)
- LDV Tools (Developer, 03/17/2018)
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
Activity
Today
-
01:47 PM Aspectator Revision 4c59bb82: Work around _Atomic keyword use in headers included by C++
06/17/2019
-
- This issue is responsible for the majority of failures on the Linux kernel (13 of 16). Truth is these failures are mo...
06/14/2019
-
- I have two code examples, which from my point of view are identical. CIF correctly processes the first one, but fails...
-
- Can confirm that the issue is fixed.
06/13/2019
-
- After adding -fshort-wchar option all such segmentation faults are inexplicably gone. Please reject this issue since ...
-
- The priority should be higher, or Evgeny will do nothing about the issue.
-
- All relevant files are attached to the issue, but I can't reproduce it myself.
Log:...
06/11/2019
-
- All relevant files are attached to the issue. Launch command, just in case:...
-
-
Also available in: Atom