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


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

Authors

Novikov E.M., Shchepetkov I.V.

Full text of the paper in pdf (in Russian)

Keywords

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

Edition

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