English 中文(简体)
是否有固定的惯性发现工具用于C方案?
原标题:Is there a static invariant discovery tool for C programs?

I m looking for a tool that can statically discover invariants in C programs. I checked out Daikon but it discovers invariants only dynamically.

Is there a tool available for what I m looking for? Thanks!

最佳回答

如果你在最广义的意义上说“无所作为”,因为与Dakon连接的网页正在使用,那么许多固定分析工具的工作可以说是“发现无所为”,或许不是你所期望的明示的惯犯。

弗拉马-C的数值分析积累了结果,即每个报表中所有变量的可能价值。 因此,在分析结束时,委员会可在每一份说明中提供关于方案内每一变量领域变化的非相互关系信息。 在上,该屏幕照相,内var是。 S在选定指示之前始终为这一决定性方案的所有执行提供0、1、3或6。

贵问题的两个隐蔽参数是你感兴趣的老百姓,以及你想要找到这些 in的人的方案。 例如,Ira的回答中提到的苏丹解放军运动旨在制定装置驾驶标准,并吸引只包含必要信息以核实适当使用系统软件的持股者。 另一个工具,Astrée,在仅仅提及破产者展示飞行控制软件操作安全的权利时,是名副其实的。

两种程度的自由使设计空间非常大。 你们找不到任何东西,为各类C方案工作,并引证了你们可能感兴趣的所有方面,但如果你对具体应用领域和各类惯犯提出问题,你就会有更好的机会找到相关的答案。

问题回答

See The SLAM project: debugging system software via static analysis. It claims to infer invariants statically, for just what you asked for, the C language. The author, Tom Ball, is widely known for stellar work in program analysis.





相关问题
Fastest method for running a binary search on a file in C?

For example, let s say I want to find a particular word or number in a file. The contents are in sorted order (obviously). Since I want to run a binary search on the file, it seems like a real waste ...

Print possible strings created from a Number

Given a 10 digit Telephone Number, we have to print all possible strings created from that. The mapping of the numbers is the one as exactly on a phone s keypad. i.e. for 1,0-> No Letter for 2->...

Tips for debugging a made-for-linux application on windows?

I m trying to find the source of a bug I have found in an open-source application. I have managed to get a build up and running on my Windows machine, but I m having trouble finding the spot in the ...

Trying to split by two delimiters and it doesn t work - C

I wrote below code to readin line by line from stdin ex. city=Boston;city=New York;city=Chicago and then split each line by ; delimiter and print each record. Then in yet another loop I try to ...

Good, free, easy-to-use C graphics libraries? [closed]

I was wondering if there were any good free graphics libraries for C that are easy to use? It s for plotting 2d and 3d graphs and then saving to a file. It s on a Linux system and there s no gnuplot ...

Encoding, decoding an integer to a char array

Please note that this is not homework and i did search before starting this new thread. I got Store an int in a char array? I was looking for an answer but didn t get any satisfactory answer in the ...

热门标签