Ilja Zakharov
Ilja Zakharov- Email: ilja.zakharov@ispras.ru
- Registered on: 09/27/2011
- Last connection: 12/04/2018
Issues
- Assigned issues: 125
- Reported issues: 283
Projects
- CPAchecker (Developer, 07/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- LDV Tools (Developer, 03/17/2018)
- Klever (Developer RO, 09/04/2015)
- Linux Kernel Safety RuleDB (Developer, 12/29/2012)
- Clade (Developer, 02/22/2018)
- C Instrumentation Framework (Developer, 06/05/2012)
- Linux Driver Verification (Developer, 09/27/2011)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Developer, 02/27/2018)
Activity
12/09/2018
- 07:16 PM Klever Revision 2ca527e3: Add additional check to detect integer values instead of files
- 07:07 PM Klever Revision 53e44c60: Update version of the rule for BusyBox to make it working with f-functions
12/05/2018
- 11:12 AM Klever Revision e4d31993: Add to BusyBox open rule an assertion and assumptions related to standard streams
- 11:11 AM Klever Revision 5983b4ad: Add more models for functions that lead to exit
- 11:04 AM Klever Revision c5094c05: Fix the busybox open rule and update CPAchecker (previous versions provide invalid witnesses)
12/04/2018
- 06:41 PM Klever Feature #9305: Provide a list of undefined and modelled functions for a fragment under verification
- If you mean entry points then it is not a part of this task. Entry points can be easily found from the coverage repor...
- 09:19 AM Klever Feature #9406 (New): Ignore an another one useless warning from BenchExec (flawed measurement)
- On my local machine BenchExec issues the following warning on regular basis:
Job failed b75957fa0f065e6bb02e67267d36...
12/03/2018
- 07:41 PM Klever Revision ff3f3185: Merge branch 'bb-rule' into busybox-verification
- 07:41 PM Klever Revision fcf62412: Implement a fallback option at witness processing
12/02/2018
Also available in: Atom