If the program is written in C, you can run http://embed.cs.utah.edu/creduce/: "C-Reduce is a tool that takes a large C file that has a property of interest ...
確定! 回上一頁