You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
What is Coccinelle? Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and
When invoked with the command-line: frama-c -eva -eva-precision 1 first.c Frama-C creates an analysis project for the file first.c. The -eva option on the command-line causes the Eva plug-in to run and have its results ready before the interface appears. The -eva-precision option is one of several options that influence the precision of the Eva plug-in. The actions of creating new analysis project
Introduction coccigrep is a semantic grep for the C language based on coccinelle. It can be used to find where a given structure is used in code files. coccigrep depends on the spatch program which comes with coccinelle. Download and source Latest version is 1.13: coccigrep-1.13.tar.gz The source can be accessed via github. Examples To find where in a set of files the structure named Packet is use
Updated 2012-08-04 (15.8a Released) - downloads SourceForge Project Page is here Cscope is a developer's tool for browsing source code. It has an impeccable Unix pedigree, having been originally developed at Bell Labs back in the days of the PDP-11. Cscope was part of the official AT&T Unix distribution for many years, and has been used to manage projects involving 20 million lines of code! In Apr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く