创建一个用于访问本地PrincipalSearcher的ActiveDirectory实例大约需要11-22秒。有趣的是,时间总是11或22秒,+/-几毫秒。我是做错什么了还是这是一种预期的行为?
var result = principalSearcher.FindAll();
当我进行性能分析时是什么导致了这种不同的行为</em
我想使用Frama来分析一个包含read-like函数的程序:给定一个缓冲区buf及其长度len,该函数将len字节准确地写入buf (除非有错误)。我使用ACSL来指定它,但是值分析给了我奇怪的结果。== NON TERMINATING FUNCTION
我确实添加了assigns/from子句,并且没有error行为的先决条件在这种情况下,我怎样才能使分析起作用?