Ivannikov Institute for System Programming of the RAS

Diagnostics of syntactic compatibility of safety rules with Linux kernel during static source code verification of device drivers.


Novikov E.M., Shchepetkov I.V.

Full text of the paper in pdf (in Russian)


static verification, specification of rule for correct usage of API, syntactic compatibility, aspect-oriented programming


Proceedings of the scientific-practical conference "Actual problems of system and software engineering", 2013, pages 192-201.

Research Group

Software Engineering

All publications during 2013 All publications