我正在为我的一个java项目运行sonarqube分析,它报告了很多违规行为,报告的大多数违规行为都是针对一个类拥有squid:MaximumInheritanceDepth的最大数量的父母而报告的。This class has 6 parents which is greater than 5 authorized
我在项目中有超过100个类,我不想为每个类添加@SuppressWarning注释
我想使用Frama来分析一个包含read-like函数的程序:给定一个缓冲区buf及其长度len,该函数将len字节准确地写入buf (除非有错误)。我使用ACSL来指定它,但是值分析给了我奇怪的结果。== NON TERMINATING FUNCTION
我确实添加了assigns/from子句,并且没有error行为的先决条件在这种情况下,我怎样才能使分析起作用?