save

save は以下の構文を持っています。

save description

スタックに、ツールの現在の状態を保存します。ユーザーが指定する description (概要) が、その状態に付加されます。保存状態スタックは LIFO (Last-In-First-Out) スタックで、最後に保存された状態が最初に復元されます。

このサブコマンドは、通常、analyze サブコマンドの実行前に、ツールの状態を保存するために使用されます。analyze サブコマンドは、ある状態に対して、つねに 1 回しか実行できません。save サブコマンドの使用例を以下に示します。

%: lock_lint load *.ll
%: lock_lint save Before Analysis
%: lock_lint analyze
    <output from analyze>
%: lock_lint vars -h | grep ¥*
    <apparent members of struct foo are not consistently protected>
%: lock_lint refresh Before Analysis
%: lock_lint assert lock1 protects `lock_lint members foo`
%: lock_lint analyze
    <output now contains info about where the assertion is violated>