![]() One can send SIGUSR1 signal to a Frama-C process for stopping and saving the partial results of the Value plugin. ![]() The experimental option -val-show-perf helps estimating which part of the C code takes time to analyze. The Value plugin is more efficient (computation and cache have been optimized). ![]() ![]() This new major version includes too many bug fixes and improvements to list here: details are available at. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |