Hi folks,
I was very glad to find the code of Livshits' work and tested it with an industrial case study, available at our institute. During the test a null pointer exception popped up during the "Find sinks" process.
The source of the exception is the SourceViewClass and a simple patch, which fixes my problem and a reproducer, is attached.
The fix solves the symptom but it does not solve the real problem, which is the underlying symbol table implemented in DeclarationInfoManager, which does a very rough estimation of the available symbols since it does not handle inherited fields.
Regards
Bernhard
Hi folks,
I was very glad to find the code of Livshits' work and tested it with an industrial case study, available at our institute. During the test a null pointer exception popped up during the "Find sinks" process.
The source of the exception is the SourceViewClass and a simple patch, which fixes my problem and a reproducer, is attached.
The fix solves the symptom but it does not solve the real problem, which is the underlying symbol table implemented in DeclarationInfoManager, which does a very rough estimation of the available symbols since it does not handle inherited fields.
Regards
Bernhard