Ubuntu Online, Fedora Online, Windows online emulator เด เดฒเตเดฒเตเดเตเดเดฟเตฝ MAC OS เดเตบเดฒเตเตป เดเดฎเตเดฒเตเดฑเตเดฑเตผ เดเดจเตเดจเดฟเดเตเดเดจเตเดฏเตเดณเตเดณ เดเดเตเดเดณเตเดเต เดเดจเตเดจเดฟเดฒเดงเดฟเดเด เดธเตเดเดจเตเดฏ เดเตบเดฒเตเตป เดตเตผเดเตเดเตโเดธเตเดฑเตเดฑเตเดทเดจเตเดเดณเดฟเดฒเตเดจเตเดจเต เดเดชเดฏเตเดเดฟเดเตเดเต OnWorks เดธเตเดเดจเตเดฏ เดนเตเดธเตเดฑเตเดฑเดฟเดเดเต เดฆเดพเดคเดพเดตเดฟเตฝ เดชเตเดฐเดตเตผเดคเตเดคเดฟเดชเตเดชเดฟเดเตเดเดพเตป เดเดดเดฟเดฏเตเดจเตเดจ frama-c.byte เดเดฎเดพเตปเดกเต เดเดฃเดฟเดคเต.
เดชเดเตเดเดฟเด:
NAME
frama-c[.byte] - เดธเดฟ เดชเตเดฐเตเดเตเดฐเดพเดฎเตเดเตพเดเตเดเตเดณเตเดณ เดเดฐเต เดธเตเดฑเตเดฑเดพเดฑเตเดฑเดฟเดเต เด เดจเดฒเตเดธเตผ
frama-c-gui[.byte] - เดซเตเดฐเตเดฏเดฟเด-เดธเดฟเดฏเตเดเต เดเตเดฐเดพเดซเดฟเดเตเดเตฝ เดเดจเตเดฑเตผเดซเตเดธเต
เดธเดฟเดจเตเดชเตเดธเดฟเดธเต
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ [ เดเดชเตเดทเดจเตเดเตพ ] เดซเดฏเดฒเตเดเตพ
เดตเดฟเดตเดฐเดฃเด
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ C. It เตฝ เดเดดเตเดคเดฟเดฏเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดธเตเดดเตเดธเต เดเตเดกเดฟเดจเตเดฑเต เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเดพเดฏเดฟ เดธเดฎเตผเดชเตเดชเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดเดชเดเดฐเดฃเดเตเดเดณเตเดเต เดเดฐเต เดธเตเดฏเตเดเตเดเดพเดฃเต
เดเดฐเตเดฑเตเดฑ เดธเดนเดเดฐเดฃ เดเดเตเดเดเตเดเตเดเดฟเตฝ เดจเดฟเดฐเดตเดงเดฟ เดธเตเดฑเตเดฑเดพเดฑเตเดฑเดฟเดเต เด เดจเดพเดฒเดฟเดธเดฟเดธเต เดเตเดเตเดจเดฟเดเตเดเตเดเตพ เดถเตเดเดฐเดฟเดเตเดเตเดจเตเดจเต. เด
เดเดจเตเดจเดคเดฟเตฝ เดธเตเดฅเดพเดชเดฟเดเตเดเดฟเดเตเดเตเดณเตเดณ เด เดงเดฟเด เดชเตเดฒเดเดฟเดจเตเดเตพ เดตเดดเดฟ เดเดเตเดเดเตเดเตเดเต เดตเดฟเดชเตเดฒเตเดเดฐเดฟเดเตเดเดพเตป เดเดดเดฟเดฏเตเด $FRAMAC_PLUGIN เดกเดฏเดฑเดเตเดเดฑเดฟ.
เดเดฎเดพเตปเดกเต
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ -เดธเดนเดพเดฏเด
เดจเดฟเดฒเดตเดฟเตฝ เดเตปเดธเตเดฑเตเดฑเดพเตพ เดเตเดฏเตเดคเดฟเดเตเดเตเดณเตเดณ เดชเตเดฒเดเดฟเดจเตเดจเตเดเดณเตเดเต เดชเตเตผเดฃเตเดฃเดฎเดพเดฏ เดฒเดฟเดธเตเดฑเตเดฑเต เดจเตฝเดเตเด.
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ-เดเตเดฏเดฟ เดฏเตเดเต เดเตเดฐเดพเดซเดฟเดเตเดเตฝ เดฏเตเดธเตผ เดเดจเตเดฑเตผเดซเตเดธเต เดเดฃเต เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ. เดเดคเต เดธเดฎเดพเดจ เดเดชเตเดทเดจเตเดเตพ เด เดตเดคเดฐเดฟเดชเตเดชเดฟเดเตเดเตเดจเตเดจเต
เดเดฎเดพเตปเดกเต-เดฒเตเตป เดชเดคเดฟเดชเตเดชเต.
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ.เดฌเตเดฑเตเดฑเต เดเดชเตเดชเด เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ-เดเตเดฏเดฟ.เดฌเตเดฑเตเดฑเต เดเดฎเดพเตปเดกเต เดฒเตเดจเดฟเดจเตเดฑเต ocaml bytecode เดชเดคเดฟเดชเตเดชเตเดเดณเดพเดฃเต
เดฏเดฅเดพเดเตเดฐเดฎเด เดเตเดฐเดพเดซเดฟเดเตเดเตฝ เดฏเตเดธเตผ เดเดจเตเดฑเตผเดซเตเดธเต.
เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ, Frama-C เดคเดฟเดฐเดฟเดเตเดเดฑเดฟเดฏเตเดจเตเดจเต .c เดซเดฏเดฒเตเดเตพ เดธเดฟ เดซเดฏเดฒเตเดเดณเดพเดฏเดฟ เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเตเดธเดฟเดเดเต เดเดตเดถเตเดฏเดฎเดพเดฃเต .i เดซเดฏเดฒเตเดเตพ
เดธเดฟ เดซเดฏเดฒเตเดเตพ เดเดคเดฟเดจเดเด เดคเดจเตเดจเต เดฎเตเตปเดเตเดเตเดเดฟ เดชเตเดฐเตเดธเดธเตเดธเต เดเตเดฏเตเดคเดฟเดเตเดเตเดฃเตเดเต. เดเดฟเดฒ เดชเตเดฒเดเดฟเดจเตเดเตพ เด เดเดเตเดเตเดค เดชเดเตเดเดฟเด เดจเตเดเตเดเดฟเดฏเตเดเตเดเดพเด
เดซเดฏเดฒเตเดเตพ. เดฎเตเดเตเดจ เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเตเดธเดฟเดเดเต เดเดทเตเดเดพเดจเตเดธเตเดคเดฎเดพเดเตเดเดพเดตเตเดจเตเดจเดคเดพเดฃเต -cpp-เดเดฎเดพเตปเดกเต เดเดชเตเดชเด -cpp-extra-args
เดเดชเตเดทเดจเตเดเตพ.
เดเดชเตเดทเดจเตเดเตพ
เดชเดฆเดตเดฟเดจเตเดฏเดพเดธเด
เดเดฐเต เด เดงเดฟเด เดชเดพเดฐเดพเดฎเตเดฑเตเดฑเตผ เดเดเตเดเตเดเตเดจเตเดจ เดเดชเตเดทเดจเตเดเดณเตเด เดซเตเดฎเดฟเดจเต เดเตเดดเดฟเตฝ เดเดดเตเดคเดพเด
-เดเดชเตเดทเตป=เดชเดฐเด
เดเดชเตเดชเตเตพ เด เดเดชเตเดทเตป เดจเดฟเตผเดฌเดจเตเดงเดฎเดพเดฃเต เดชเดฐเด เดเดฐเต เดกเดพเดทเดฟเตฝ เดเดฐเดเดญเดฟเดเตเดเตเดจเตเดจเต ('-')
เดชเดฐเดพเดฎเตเดฑเตเดฑเตผ เดเดเตเดเตเดเดพเดคเตเดค เดเดเตเดเตเดฎเดฟเดเตเด เดเดชเตโเดทเดจเตเดเดณเตเด เดเดฐเต เด เดจเตเดฌเดจเตเดงเดฎเดพเดฏเตเดฃเตเดเต
-เดเดฒเตเดฒ- เดเดชเตเดทเตป
เดตเดฟเดชเดฐเตเดค เดซเดฒเดฎเตเดณเตเดณ เดเดชเตเดทเตป.
เดธเดนเดพเดฏเดฟเดเตเดเต เดเดชเตเดทเดจเตเดเตพ
-เดนเตเตฝเดชเตเดชเต เดเดฐเต เดเตเดฑเดฟเดฏ เดเดชเดฏเตเด เด เดฑเดฟเดฏเดฟเดชเตเดชเตเด เดเตปเดธเตเดฑเตเดฑเดพเตพ เดเตเดฏเตเดค เดชเตเดฒเดเดฟเดจเตเดจเตเดเดณเตเดเต เดฒเดฟเดธเตเดฑเตเดฑเตเด เดจเตฝเดเตเดจเตเดจเต.
-เดเตเตผเดฃเตฝ-เดธเดนเดพเดฏเด
Frama-C เดฏเตเดเต เดเตเตผเดฃเตฝ เด เดเดเตเดเดฐเดฟเดเตเด เดเดชเตเดทเดจเตเดเดณเตเดเต เดฒเดฟเดธเตเดฑเตเดฑเต เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดฏเตเดจเตเดจเต
-เดตเตเตผเดฌเตเดธเต n
เดตเตเตผเดฌเตเดธเดฟเดฑเตเดฑเดฟ เดฒเตเดตเตฝ เดธเดเตเดเดฎเดพเดเตเดเตเดจเตเดจเต (เดกเดฟเดซเตเตพเดเตเดเต 1 เดเดฃเต). เดเดคเต 0 เดเดฏเดฟ เดธเดเตเดเตเดเดฐเดฟเดเตเดเตเดจเตเดจเดคเต เดเตเดฑเดเตเดเต เดชเตเดฐเตเดเดคเดฟ เดเตเดตเดฐเดฟเดเตเดเตเด
เดธเดจเตเดฆเตเดถเดเตเดเตพ. เด เดฒเตเดตเตฝ เดเดฐเต เดชเตเตผ เดเดจเตเดจเดคเดฟเดฒเตเด เดธเดเตเดเตเดเดฐเดฟเดเตเดเดพเด เดชเตเดฒเดเดฟเตป เด เดเดฟเดธเตเดฅเดพเดจเด, เดเดชเตเดทเตป เดเตเดเต -เดชเตเดฒเดเดฟเตป-
เดตเตเตผเดฌเตเดธเต n. เดเตเตผเดฃเดฒเดฟเดจเตเดฑเต เดตเตเตผเดฌเตเดธเดฟเดฑเตเดฑเดฟ เดฒเตเดตเตฝ เดเดชเตเดทเตป เดเดชเดฏเตเดเดฟเดเตเดเต เดจเดฟเดฏเดจเตเดคเตเดฐเดฟเดเตเดเดพเด
-เดเตเตผเดฃเตฝ-เดตเตเตผเดฌเตเดธเต n.
- เดกเตเดฌเดเต n
เดกเตเดฌเดเตเดเดฟเดเดเต เดฒเตเดตเตฝ เดธเดเตเดเดฎเดพเดเตเดเตเดจเตเดจเต (เดกเดฟเดซเตเตพเดเตเดเต 0 เดเดฃเต, เด เดคเดพเดฏเดคเต เดกเตเดฌเดเตเดเดฟเดเดเต เดธเดจเตเดฆเตเดถเดเตเดเตพ เดเดฒเตเดฒ). เด เดเดชเตเดทเตป
เดเดฐเต เดชเตเดฒเดเดฟเดจเตเด (เดเตเตผเดฃเตฝ) เดธเตเดชเตเดทเตเดฏเดฒเตเดธเตเดทเดจเตเดเตพ เดชเตเดฒเต เดคเดจเตเดจเต เดเดฃเตเดเต -เดตเตเตผเดฌเตเดธเต.
- เดจเดฟเดถเดฌเตเดฆเด เดตเตเตผเดฌเตเดธเดฟเดฑเตเดฑเดฟเดฏเตเด เดกเตเดฌเดเตเดเดฟเดเดเต เดฒเตเดตเดฒเตเด 0 เดเดฏเดฟ เดธเดเตเดเตเดเดฐเดฟเดเตเดเตเดจเตเดจเต.
เดเดชเตเดทเดจเตเดเตพ เดจเดฟเดฏเดจเตเดคเตเดฐเดฟเดเตเดเตเดจเตเดจเต เดซเตเดฐเตเดฏเดฟเด-เดธเดฟเดฏเตเดเต เดเตเตผเดฃเตฝ
-absolute-valid-range
เดถเตเดฐเตเดฃเดฟเดฏเดฟเดฒเต เดเดฒเตเดฒเดพ เดธเดเดเตเดฏเดพ เดตเดฟเดฒเดพเดธเดเตเดเดณเตเด เดชเดฐเดฟเดเดฃเดฟเดเตเดเตเดจเตเดจเต เดฎเดฟเดจเดฟเดฑเตเดฑเต-เดชเดฐเดฎเดพเดตเดงเดฟ เดธเดพเดงเตเดตเดพเดฃเต. เด เดคเดฟเดฐเตเดเตพ เดเดเตเดจเตเดจเต
ocaml เดชเตเตผเดฃเตเดฃเดธเดเดเตเดฏ เดธเตเดฅเดฟเดฐเดพเดเตเดเดเตเดเดณเดพเดฏเดฟ เดชเดพเดดเตโเดธเต เดเตเดฏเตโเดคเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต. เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ, เดเดฒเตเดฒเดพ เดธเดเดเตเดฏเดพ เดตเดฟเดฒเดพเดธเดเตเดเดณเตเด
เด เดธเดพเดงเตเดตเดพเดฏเดฟ เดเดฃเดเตเดเดพเดเตเดเตเดจเตเดจเต.
-เดเดกเต-เดชเดพเดคเตเดคเต p1[,p2[...,pn]]
เดกเดฏเดฑเดเตเดเดฑเดฟเดเตพ เดเตเตผเดเตเดเตเดจเตเดจเต เดฎเตเดเดพเดจเตเดคเดฟเดฐเด เดชเตเดฒเดเดฟเดจเตเดเตพ เดเดณเตเดณ เดกเดฏเดฑเดเตเดเดฑเดฟเดเดณเตเดเต เดชเดเตเดเดฟเดเดฏเดฟเดฒเตเดเตเดเต
เดคเดฟเดฐเดเตเดเต
[-เดเดฒเตเดฒ]-เด เดจเตเดตเดฆเดฟเดเตเดเตเด-เดกเตเดฏเตเดชเตเดฒเดฟเดเตเดเตเดทเตป
เดเตเดธเตเดฑเตเดฑเตเดเดณเตเดเตเดฏเตเด เดฒเตเดชเตเดชเตเดเดณเตเดเตเดฏเตเด เดจเตเตผเดฎเดฒเตเดธเตเดทเตป เดธเดฎเดฏเดคเตเดคเต เดเตเดฑเดฟเดฏ เดฌเตเดฒเตเดเตเดเตเดเดณเตเดเต เดคเดจเดฟเดชเตเดชเดเตผเดชเตเดชเต เด เดจเตเดตเดฆเดฟเดเตเดเตเดจเตเดจเต.
เด เดฒเตเดฒเตเดเตเดเดฟเตฝ, เดจเตเตผเดฎเดฒเตเดธเตเดทเตป เดฒเตเดฌเดฒเตเดเดณเตเด เดเตเดเตเดเตเดเดณเตเด เดเดชเดฏเตเดเดฟเดเตเดเตเดจเตเดจเต. เดตเดฒเดฟเดฏ เดฌเตเดฒเตเดเตเดเตเดเดณเตเด เด เดฒเตเดฒเดพเดคเตเดค เดฌเตเดฒเตเดเตเดเตเดเดณเตเด
เดจเดฟเดธเตเดธเดพเดฐ เดจเดฟเดฏเดจเตเดคเตเดฐเดฃ เดชเตเดฐเดตเดพเดนเด เดเดฐเดฟเดเตเดเดฒเตเด เดคเดจเดฟเดชเตเดชเดเตผเดชเตเดชเดฒเตเดฒ. เด เดคเต เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
[-เดเดฒเตเดฒ]-เด เดฒเตเดฒ
ACSL เดตเตเดฏเดพเดเตเดฏเดพเดจเด เดตเดพเดฏเดฟเดเตเดเตเดจเตเดจเต. เดเดคเดพเดฃเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ. เดตเตเดฏเดพเดเตเดฏเดพเดจเด เดฎเตเตปเดเตเดเตเดเดฟ เดชเตเดฐเตเดธเดธเตเดธเต เดเตเดฏเตเดคเดฟเดเตเดเดฟเดฒเตเดฒ
เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ. เดเดชเดฏเตเดเดฟเดเตเดเตเด -pp-annot เด เดคเดฟเดจเต เดตเตเดฃเตเดเดฟ.
-เดฌเดฟเดเต-เดเดจเตเดฑเตเดธเต-เดนเตเดเตเดธเต เดชเดฐเดฎเดพเดตเดงเดฟ
เดชเตเตผเดฃเตเดฃเดธเดเดเตเดฏเดเตพ เดตเดฒเตเดคเดพเดฃเต เดชเดฐเดฎเดพเดตเดงเดฟ เดนเตเดเตเดธเดพเดกเตเดธเดฟเดฎเดฒเดฟเตฝ เดชเตเดฐเดฆเตผเดถเดฟเดชเตเดชเดฟเดเตเดเตเด (เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ, เดเดฒเตเดฒเดพ เดชเตเตผเดฃเตเดฃเดธเดเดเตเดฏเดเดณเตเด
เดฆเดถเดพเดเดถเดคเตเดคเดฟเตฝ เดชเตเดฐเดฆเตผเดถเดฟเดชเตเดชเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต)
-เดเตเดเตเดเต เดเดจเตเดคเดฐเดฟเด AST-เดฏเดฟเตฝ เดธเดฎเดเตเดฐเดค เดชเดฐเดฟเดถเตเดงเดฟเดเตเดเตเดจเตเดจเต (เดกเตเดตเดฒเดชเตเดชเตผเดฎเดพเตผเดเตเดเต เดฎเดพเดคเตเดฐเด).
[-no]-collapse-call-cast
เดเดฐเต เดซเดเดเตโเดทเตป เดจเตฝเดเตเดจเตเดจ เดฎเตเดฒเตเดฏเดคเตเดคเดฟเดจเตเด เด เดคเดฟเดจเตเดฑเต เดฎเตเดฒเตเดฏเดคเตเดคเดฟเดจเตเด เดเดเดฏเดฟเตฝ เดชเดฐเตเดเตเดทเดฎเดพเดฏ เดเดพเดธเตเดฑเตเดฑเต เด เดจเตเดตเดฆเดฟเดเตเดเตเดจเตเดจเต
เดจเดฟเดฏเตเดพเดเดฟเดเตเดเดฟเดเตเดเตเดณเตเดณ. เด เดฒเตเดฒเตเดเตเดเดฟเตฝ, เดเดฐเต เดคเดพเตฝเดเตเดเดพเดฒเดฟเด เดตเตเดฐเดฟเดฏเดฌเดฟเตพ เดเดชเดฏเตเดเดฟเดเตเดเตเดเดฏเตเด เดเดพเดธเตเดฑเตเดฑเต เดตเตเดฏเดเตเดคเดฎเดพเดเตเดเตเดเดฏเตเด เดเตเดฏเตเดฏเตเดจเตเดจเต.
เด เดคเต เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
[-เดเดฒเตเดฒ]-เดเตเตบเดธเตเดฑเตเดฑเตเดซเตเตพเดกเต
เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเต เดฎเตเดฎเตเดชเต เดเตเดกเดฟเดฒเต เดเดฒเตเดฒเดพ เดตเดพเดเตเดฏเดเดเดจเดพเดชเดฐเดฎเดพเดฏ เดธเตเดฅเดฟเดฐเดฎเดพเดฏ เดชเดฆเดชเตเดฐเดฏเตเดเดเตเดเดณเตเด เดฎเดเดเตเดเดฟเดเตเดเดณเดฏเตเดจเตเดจเต. เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดเตพ
เดเดฒเตเดฒ เดตเดฐเต.
[-no]-continue-annot-Error
เดเดฐเต เดตเตเดฏเดพเดเตเดฏเดพเดจเด เดตเดฟเดถเดเดฒเดจเด เดเตเดฏเตเดฏเตเดฎเตเดชเตเตพ, เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ เดธเตเดตเดญเดพเดตเด (the -เดเดฒเตเดฒ เด เดเดชเตเดทเดจเตเดฑเต เดชเดคเดฟเดชเตเดชเต)
เดเดฐเต เดเตเดชเตเดชเต เดเตเดเตเดเดฟเดเดเต เดชเดฟเดถเดเต เดธเดเดญเดตเดฟเดเตเดเตเดฎเตเดชเตเตพ, เดธเตเดดเตเดธเต เดซเดฏเตฝ เดจเดฟเดฐเดธเดฟเดเตเดเตเด เดเดจเตเดจเดคเดพเดฃเต
เดธเดฟ เดเตเดกเดฟเดจเตเดณเตเดณเดฟเตฝ เดเตเดชเตเดชเต เดเตเดเตเดเดฟเดเดเต เดชเดฟเดถเดเตเดเตพ. เด เดเดชเตเดทเตป เดเดฃเดพเดเตเดเดฟเดฏเดพเตฝ, เดเตเดชเตเดชเต เดเตเดเตเดเตผ เดเตเดฏเตเดฏเตเด
เดเดฐเต เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต เดจเตฝเดเตเดเดฏเตเด เดตเตเดฏเดพเดเตเดฏเดพเดจเด เดเดชเตเดเตเดทเดฟเดเตเดเตเดเดฏเตเด เดเตเดฏเตเดฏเตเด, เดชเดเตเดทเต เดเตเดชเตเดชเต เดเตเดเตเดเดฟเดเดเต เดคเตเดเดฐเตเด
(เดธเดฟ เดเตเดกเดฟเดฒเต เดชเดฟเดถเดเตเดเตพ เดเดชเตเดชเตเดดเตเด เดฎเดพเดฐเดเดฎเดพเดฃเต, เดเดจเตเดจเดฟเดฐเตเดจเตเดจเดพเดฒเตเด).
-cpp-เดเดฎเดพเตปเดกเต cmd
เดเดชเดฏเตเดพเดเดเตเดเตพ cmd C เดซเดฏเดฒเตเดเตพ เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเต เดเตเดฏเตเดฏเดพเดจเตเดณเตเดณ เดเดฎเดพเตปเดกเต เดเดฏเดฟ. เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ เดธเดฟ.เดชเดฟ.เดชเดฟ. เดชเดฐเดฟเดธเตเดฅเดฟเดคเดฟ
เดตเตเดฐเดฟเดฏเดฌเดฟเตพ เด เดฒเตเดฒเตเดเตเดเดฟเตฝ to
gcc -C -E -I.
เดธเดเตเดเตเดเดฐเดฟเดเตเดเดฟเดเตเดเดฟเดฒเตเดฒเตเดเตเดเดฟเตฝ. ACSL เดตเตเดฏเดพเดเตเดฏเดพเดจเดเตเดเตพ เดธเดเดฐเดเตเดทเดฟเดเตเดเตเดจเตเดจเดคเดฟเดจเต, เดชเตเดฐเตเดชเตเดฐเตเดธเดธเตเดธเตผ เดธเตเดเตเดทเดฟเดเตเดเตเดฃเตเดเดคเตเดฃเตเดเต
เด เดญเดฟเดชเตเดฐเดพเดฏเดเตเดเตพ (เดฆเดฟ -C เดเดฟเดธเดฟเดธเดฟเดเตเดเตเดณเตเดณ เดเดชเตเดทเตป). %1 เดเดชเตเดชเด %2 เดเดจเตเดจเดคเดฟเตฝ เดเดชเดฏเตเดเดฟเดเตเดเดพเด cmd เดธเตเดเดฟเดชเตเดชเดฟเดเตเดเดพเตป
เดฏเดฅเดพเตผเดคเตเดฅ เดธเตเดดเตเดธเต เดซเดฏเดฒเตเด เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเตเดธเต เดเตเดฏเตเดค เดซเดฏเดฒเตเด เดฏเดฅเดพเดเตเดฐเดฎเด
-cpp-extra-args เดตเดพเดฆเดฟเดเตเดเตเดจเตเดจเต
เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเดฑเดฟเดจเต เด เดงเดฟเด เดเตผเดเตเดฏเตเดฎเตเดจเตเดฑเตเดเตพ เดจเตฝเดเตเดจเตเดจเต. เดเดชเตเดชเตเตพ เดฎเดพเดคเตเดฐเดฎเต เดเดคเต เดเดชเดฏเตเดเดชเตเดฐเดฆเดฎเดพเดเต
-เดชเตเดฐเตเดชเตเดฐเตเดธเดธเต-เด เดจเตเดเตเดเต เดธเดเตเดเตเดเดฐเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต. เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเตเดธเดฟเดเดเต เดตเตเดฏเดพเดเตเดฏเดพเดจเดเตเดเตพ เดฐเดฃเตเดเต เดตเตเดฏเดคเตเดฏเดธเตเดค เดชเตเดฐเต-
เดชเตเดฐเตเดธเดธเตเดธเดฟเดเดเต เดเดเตเดเดเตเดเตพ. เดเดฆเตเดฏเดคเตเดคเตเดคเต เดฎเดพเดเตเดฐเต เดจเดฟเดฒเดจเดฟเตผเดคเตเดคเตเดจเตเดจ เดธเดฟ เดเตเดกเดฟเดฒเตเดเตเดเตเดณเตเดณ เดเดฐเต เดธเดพเดงเดพเดฐเดฃ เดชเดพเดธเต เดเดฃเต
เดจเดฟเตผเดตเดเดจเดเตเดเตพ. เดตเตเดฏเดพเดเตเดฏเดพเดจเดเตเดเดณเตเดณเตเดณ เดฐเดฃเตเดเดพเดฎเดคเตเดคเต เดชเดพเดธเดฟเดฒเดพเดฃเต เดเดต เดชเดฟเดจเตเดจเตเดเต เดเดชเดฏเตเดเดฟเดเตเดเตเดจเตเดจเดคเต
เดฎเตเตปเดเตเดเตเดเดฟ เดชเตเดฐเตเดธเดธเตเดธเต เดเตเดฏเตเดคเต. เดตเดพเดฆเดฟเดเตเดเตเดจเตเดจเต เดเดฆเตเดฏ เดชเดพเดธเดฟเดจเดพเดฏเดฟ เดฎเดพเดคเตเดฐเด เดเดชเดฏเตเดเดฟเดเตเดเตเดจเตเดจเต, เด เดเตเดเดจเต เดตเดพเดฆเดเตเดเตพ
เดฐเดฃเตเดเตเดคเดตเดฃ เดเดชเดฏเตเดเดฟเดเตเดเดฐเตเดคเต (เด เดงเดฟเด เดจเดฟเตผเดฆเตเดฆเตเดถเดเตเดเตพ เด เดฒเตเดฒเตเดเตเดเดฟเตฝ เดฎเดพเดเตเดฐเต เดเตพเดชเตเดชเตเดเตเดคเตเดคเตเดจเตเดจเดคเต เดชเตเดฒเต
เดจเดฟเตผเดตเดเดจเดเตเดเตพ) เดเดจเตเดจเดคเดฟเดจเต เดชเดเดฐเด เด เดตเดฟเดเต เดชเตเดเดฃเด -cpp-เดเดฎเดพเตปเดกเต.
[-no]-dynlink
เดเดฃเดพเดฏเดฟเดฐเดฟเดเตเดเตเดฎเตเดชเตเตพ, เดคเดฟเดฐเดฏเตฝ เดชเดพเดคเดฏเดฟเตฝ เดเดพเดฃเตเดจเตเดจ เดเดฒเตเดฒเดพ เดกเตเดจเดพเดฎเดฟเดเต เดชเตเดฒเดเต-เดเดจเตเดจเตเดเดณเตเด เดฒเตเดกเตเดเตเดฏเตเดฏเตเด (เดเดพเดฃเตเด -เดชเตเดฐเดฟเดจเตเดฑเต-เดชเตเดฒเดเดฟเตป-
เดชเดพเดค เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ เดคเดฟเดฐเดฏเตฝ เดชเดพเดคเดฏเตเดเตเดเตเดฑเดฟเดเตเดเตเดณเตเดณ เดเตเดเตเดคเตฝ เดตเดฟเดตเดฐเดเตเดเตพเดเตเดเต). เด เดฒเตเดฒเตเดเตเดเดฟเตฝ, เดชเตเดฒเดเดฟเดจเตเดเตพ เดฎเดพเดคเตเดฐเด
เดเดตเดถเตเดฏเดชเตเดชเตเดเตเดเดคเต -เดฒเตเดกเต-เดฎเตเดกเตเดฏเตเดณเตเดเตพ เดฒเตเดกเต เดเตเดฏเตเดฏเตเด. เดกเดฟเดซเตเตพเดเตเดเต เดชเตเดฐเตเดฎเดพเดฑเตเดฑเด เดเดฃเดพเดฃเต.
- enums เดชเตเดฐเดคเดฟเดจเดฟเดงเดฟ
เดเดฃเตเดฃเดชเตเดชเตเดเตเด เดคเดฐเดเตเดเดณเตเดเต เดชเตเดฐเดพเดคเดฟเดจเดฟเดงเตเดฏเด เดจเดฟเตผเดฃเตเดฃเดฏเดฟเดเตเดเตเดจเตเดจ เดฐเตเดคเดฟ เดคเดฟเดฐเดเตเดเตเดเตเดเตเดเตเด. เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ
- enums เดธเดนเดพเดฏเดฟเดเตเดเต เดฒเดญเตเดฏเดฎเดพเดฏ เดเดชเตเดทเดจเตเดเดณเตเดเต เดฒเดฟเดธเตเดฑเตเดฑเต เดจเตฝเดเตเดจเตเดจเต. เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฃเต gcc-enums
เดซเตเดฒเตเดเตเดเต เด เดเตเดเดเตเดเตพ n
เดซเตเดฒเตเดเตเดเดฟเดเดเต เดชเตเดฏเดฟเดจเตเดฑเต เดจเดฎเตเดชเดฑเตเดเตพ เดเดเตเดเตเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดฎเตเดชเตเตพ, เดชเตเดฐเดฆเตผเดถเดฟเดชเตเดชเดฟเดเตเดเตเด n เด เดเตเดเดเตเดเตพ. เดกเดฟเดซเตเตพเดเตเดเต 12.
-เดซเตเดฒเตเดเตเดเต-เดซเตเดฒเดทเต-เดเต-เดชเตเดเตเดฏเด
เดซเตเดฒเตเดเตเดเดฟเดเดเต เดชเตเดฏเดฟเดจเตเดฑเต เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพ เดชเตเดเตเดฏเดคเตเดคเดฟเดฒเตเดเตเดเต เดซเตเดฒเดทเต เดเตเดฏเตเดฏเตเดจเตเดจเต
-เดซเตเดฒเตเดเตเดเต-เดนเตเดเตเดธเต
เดกเดฟเดธเตเดชเตเดฒเต เดซเตเดฒเตเดเตเดเตเดเตพ เดนเตเดเตเดธเดพเดกเตเดธเดฟเดฎเตฝ เดเดฏเดฟ
เดซเตเดฒเตเดเตเดเต-เดธเดพเดงเดพเดฐเดฃ
เดธเดพเดงเดพเดฐเดฃ Ocaml เดฆเดฟเดจเดเดฐเตเดฏเดฏเตโเดเตเดเตเดชเตเดชเด เดซเตเดฒเตเดเตเดเตเดเตพ เดชเตเดฐเดฆเตผเดถเดฟเดชเตเดชเดฟเดเตเดเตเด
-เดซเตเดฒเตเดเตเดเต-เดฌเดจเตเดงเต
เดซเตเดฒเตเดเตเดเต เดเดเดตเตเดณ [เดเดคเดพเดฏเดฟ เดชเตเดฐเดฆเตผเดถเดฟเดชเตเดชเดฟเดเตเดเตเด เดคเดพเดดเตเดจเตเดจ_เดฌเตเดฃเตเดเต++เดตเตเดคเดฟ ]
[-no]-force-rl-arg-eval
เดซเดเดเตโเดทเตป เดเตเดณเตเดเดณเตเดเต เดเตผเดเตเดฏเตเดฎเตเดจเตเดฑเตเดเตพเดเตเดเดพเดฏเดฟ เดตเดฒเดคเตเดคเตเดจเดฟเดจเตเดจเต เดเดเดคเตเดคเตเดเตเดเต เดฎเตเดฒเตเดฏเดจเดฟเตผเดฃเตเดฃเดฏ เดเตเดฐเดฎเด เดจเดฟเตผเดฌเดจเตเดงเดฟเดเตเดเตเดจเตเดจเต. เด เดฒเตเดฒเตเดเตเดเดฟเตฝ
C เดธเตเดฑเตเดฑเดพเตปเดกเตเตผเดกเต เดชเตเดฒเต เดฎเตเดฒเตเดฏเดจเดฟเตผเดฃเตเดฃเดฏ เดเตเดฐเดฎเด เดตเตเดฏเดเตเดคเดฎเดพเดเตเดเดฟเดฏเดฟเดเตเดเดฟเดฒเตเดฒ. เดจเดฎเตเดชเตผ เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
-เดเตเดฃเตฝ-เด เดชเตเดฐเดพเดชเตเดคเดฎเดพเดเตเดเตเด
เดจเดฟเดฒเดตเดฟเดฒเต เดธเตเดทเดจเตเดฑเต เดเดฐเต เดเตเดฃเตฝ เดเดเตเดเตโเดชเตเดเตเดเต เดเตเดฏเตเดฏเดฐเตเดคเต. เดเดพเดฃเตเด -เดเตเดฃเตฝ-เดชเตเดฐเดพเดชเตเดคเดฎเดพเดเตเดเตเด.
-เดเตเดฃเตฝ-เดชเตเดฐเดพเดชเตเดคเดฎเดพเดเตเดเตเด
เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ, เดเดฑเดจเตเดฑเต เดธเดฎเดฏเดคเตเดคเต เดจเดเดคเตเดคเดฟเดฏ เดเดฒเตเดฒเดพ เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเดณเตเดเตเดฏเตเด เดเดฐเต เดเตเดฃเตฝ เดกเดเดชเต เดเตเดฏเตเดฏเตเดจเตเดจเต
Frama-C เดธเตเดทเตป เดเดฐเต เดเดเดพเดฎเตฝ เดธเตเดเตเดฐเดฟเดชเตเดฑเตเดฑเดฟเดจเตเดฑเต เดฐเตเดชเดคเตเดคเดฟเตฝ เดฑเตเดชเตเดฒเต เดเตเดฏเตเดฏเดพเตป เดเดดเดฟเดฏเตเด -เดฒเตเดกเต-
เดธเตเดเตเดฐเดฟเดชเตเดฑเตเดฑเต. เดธเตเดเตเดฐเดฟเดชเตเดฑเตเดฑเดฟเดจเตเดฑเต เดชเตเดฐเต เดเดชเดฏเตเดเดฟเดเตเดเต เดธเตเดฑเตเดฑเต เดเตเดฏเตเดฏเดพเด -เดเตเดฃเตฝ-เดจเดพเดฎเด เดเดชเตเดทเตป.
-เดเตเดฃเตฝ-เดจเดพเดฎเด เดชเตเดฐเต
เดเตเดฃเตฝ เดซเดฏเดฒเดฟเดจเตเดฑเต เดชเตเดฐเต เดธเดเตเดเตเดเดฐเดฟเดเตเดเตเด (เดเดฒเตเดฒเดพเดคเต .ml เดตเดฟเดชเตเดฒเตเดเดฐเดฃเด). เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดเตพ
เดซเตเดฐเตเดฏเดฟเด_เดธเดฟ_เดเตเดฃเตฝ.
-initialized-padding-locals
เดฒเตเดเตเดเตฝเดธเดฟเดจเตเดฑเต เด เดตเตเดฏเดเตเดคเดฎเดพเดฏ เดธเดฎเดพเดฐเดเดญเด เดชเดพเดกเดฟเดเดเต เดฌเดฟเดฑเตเดฑเตเดเดณเต 0 เดเดฏเดฟ เดธเดเตเดเตเดเดฐเดฟเดเตเดเตเดจเตเดจเต. เดคเตเดฑเตเดฑเดพเดฃเตเดเตเดเดฟเตฝ, เดชเดพเดกเดฟเดเดเต เดฌเดฟเดฑเตเดฑเตเดเตพ
เด เดต เดเดฐเดเดญเดฟเดเตเดเดพเดคเตเดคเดคเดพเดฏเดฟ เด เดตเดถเตเดทเดฟเดเตเดเตเดจเตเดจเต (เด เดคเต เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ).
[-เดเดฒเตเดฒ]-เด เดญเดฟเดชเตเดฐเดพเดฏเดเตเดเตพ เดธเตเดเตเดทเดฟเดเตเดเตเด
เดธเตเดดเตโเดธเต เดเตเดกเต เดชเตเดฐเตเดฑเตเดฑเดฟ-เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดฏเตเดฎเตเดชเตเตพ เด เดญเดฟเดชเตเดฐเดพเดฏเดเตเดเตพ เดธเดเดฐเดเตเดทเดฟเดเตเดเดพเตป เดถเตเดฐเดฎเดฟเดเตเดเตเดจเตเดจเต (เดกเดฟเดซเตเตพเดเตเดเดพเดฏเดฟ เดเดฒเตเดฒ).
[-เดเดฒเตเดฒ]-เดเตเดชเตเดชเต-เดธเตเดตเดฟเดเตเดเต
เดเดชเตเดชเตเดพเตพ -เดฒเดณเดฟเดคเดฎเดพเดเตเดเตเด-cfg เดธเดเตเดเตเดเดฐเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต, เดธเตเดตเดฟเดเตเดเต เดธเตเดฑเตเดฑเตเดฑเตเดฑเตโเดฎเตเดจเตเดฑเตเดเตพ เดธเตเดเตเดทเดฟเดเตเดเตเดจเตเดจเต. เดจเดฎเตเดชเตผ เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
-เดเดชเดฏเตเดเดฟเดเตเดเดพเดคเตเดค-เดจเดฟเตผเดฆเตเดฆเดฟเดทเตเด-เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพ เดธเตเดเตเดทเดฟเดเตเดเตเด
เดเดพเดฃเตเด -เดเดชเดฏเตเดเดฟเดเตเดเดพเดคเตเดค-เดจเดฟเตผเดฆเตเดฆเดฟเดทเตเด-เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพ เดจเตเดเตเดเด เดเตเดฏเตเดฏเตเด
[-no]-lib-entry
เดชเตเดฐเตเดเตเดฐเดพเด เดเดเตเดธเดฟเดเตเดฏเตเดทเตป เดธเดฎเดฏเดคเตเดคเต เดเตปเดเตเดฐเดฟ เดชเตเดฏเดฟเดจเตเดฑเต เดตเดฟเดณเดฟเดเตเดเดชเตเดชเตเดเตเดจเตเดจเตเดตเตเดจเตเดจเต เดธเตเดเดฟเดชเตเดชเดฟเดเตเดเตเดจเตเดจเต. เดเดคเต เดธเตเดเดฟเดชเตเดชเดฟเดเตเดเตเดจเตเดจเดคเต
เดเดเตเดณ เดตเตเดฐเดฟเดฏเดฌเดฟเดณเตเดเตพเดเตเดเต เด เดตเดฏเตเดเต เดชเตเดฐเดพเดฐเดเดญ เดฎเตเดฒเตเดฏเดเตเดเตพ เดเดฃเตเดเตเดจเตเดจเต เดเดฐเตเดคเดพเดจเดพเดตเดฟเดฒเตเดฒ.
เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ -เดจเต-เดฒเดฟเดฌเต-เดเตปเดเตเดฐเดฟ: เดเตปเดเตเดฐเดฟ เดชเตเดฏเดฟเดจเตเดฑเต เดเดฐเดเดญ เดชเตเดฏเดฟเดจเตเดฑเต เดเตเดเดฟเดฏเดพเดฃเต
เดชเตเดฐเตเดเตเดฐเดพเดฎเดฟเดจเตเด เดเตเดฒเตเดฌเดฒเตเดเตพเดเตเดเตเด เด เดตเดฏเตเดเต เดชเตเดฐเดพเดฐเดเดญ เดฎเตเดฒเตเดฏเดฎเตเดฃเตเดเต.
-เดฒเตเดกเต เดซเดฏเดฒเต
เดเดคเดฟเตฝ เด เดเดเตเดเดฟเดฏเดฟเดฐเดฟเดเตเดเตเดจเตเดจ (เดฎเตเดฎเตเดชเต เดธเดเดฐเดเตเดทเดฟเดเตเด) เด เดตเดธเตเดฅ เดฒเตเดกเต เดเตเดฏเตเดฏเตเด เดซเดฏเดฒเต.
-เดฒเตเดกเต-เดฎเตเดกเตเดฏเตเตพ m1[,m2[...,mn]]
ocaml เดฎเตเดกเตเดฏเตเดณเตเดเตพ เดฒเตเดกเต เดเตเดฏเตเดฏเตเดจเตเดจเต เดฎเตเดเดพเดจเตเดคเดฟเดฐเด . เด เดฎเตเดกเตเดฏเตเดณเตเดเตพ เดเดฏเดฟเดฐเดฟเดเตเดเดฃเด .cmxsเดเดจเตเดจเดคเดฟเดจเดพเดฏเตเดณเตเดณ เดซเดฏเดฒเตเดเตพ
Frama-c เดจเตเดฑเต เดจเตเดฑเตเดฑเตเดตเต เดเตเดกเต เดชเดคเดฟเดชเตเดชเต เดเดชเตเดชเด .cmoor.cmaเดฌเตเดฑเตเดฑเตเดเตเดกเต เดชเดคเดฟเดชเตเดชเดฟเดจเตเดณเตเดณ เดซเดฏเดฒเตเดเตพ (เดเดพเดฃเตเด
เดเตเดเตเดคเตฝ เดตเดฟเดตเดฐเดเตเดเตพเดเตเดเต Ocaml เดฎเดพเดจเตเดตเดฒเดฟเดจเตเดฑเต Dynlink เดตเดฟเดญเดพเดเด). เดเดฒเตเดฒเดพ เดฎเตเดกเตเดฏเตเดณเตเดเดณเตเด
เดชเตเดฒเดเดฟเตป เดคเดฟเดฐเดฏเตฝ เดชเดพเดคเดเตพ เดธเตเดตเดฏเดฎเตเดต เดฒเตเดกเต เดเตเดฏเตเดฏเตเดจเตเดจเต.
-เดฒเตเดกเต-เดธเตเดเตเดฐเดฟเดชเตเดฑเตเดฑเต s1[,s2,[...,sn]]
ocaml เดธเตเดเตเดฐเดฟเดชเตเดฑเตเดฑเตเดเตพ เดฒเตเดกเต เดเตเดฏเตเดฏเตเดจเตเดจเต เดฎเตเดเดพเดจเตเดคเดฟเดฐเด . เดคเดฟเดฐเดเตเดเดฅเดเตพ เดเดฏเดฟเดฐเดฟเดเตเดเดฃเด .mlเดซเดฏเดฒเตเดเตพ. เด เดตเตผ
Ocaml เดธเตเดฑเตเดฑเดพเตปเดกเตเตผเดกเต เดฒเตเดฌเตเดฐเดฑเดฟเดฏเตเด Frama-C เดฏเตเดเต API เดฏเตเด เดฎเดพเดคเตเดฐเด เดเดถเตเดฐเดฏเดฟเดเตเดเต เดธเดฎเดพเดนเดฐเดฟเดเตเดเดพเดตเตเดจเตเดจเดคเดพเดฏเดฟเดฐเดฟเดเตเดเดฃเด. เดเดเตเดเดฟเตฝ
เดเดฟเดฒ เดเดทเตโเดเดพเดจเตเดธเตเดค เดเดเดชเตเดฒเตเดทเตป เดเดเตเดเด เดเดตเดถเตเดฏเดฎเดพเดฃเต, เด เดต Frama-C เดจเต เดชเตเดฑเดคเตเดคเต เดเดเดชเตเตฝ เดเตเดฏเตโเดคเต เดเดชเดฏเตเดเดฟเดเตเดเตเด
-เดฒเตเดกเต-เดฎเตเดกเตเดฏเตเตพ เดชเดเดฐเด.
-เดฎเดเตเดเตเดกเตเดชเต เดฎเตเดทเตเตป
เดเดชเดฏเตเดพเดเดเตเดเตพ เดฎเตเดทเตเตป เดจเดฟเดฒเดตเดฟเดฒเต เดฎเตเดทเตเตป-เดเดถเตเดฐเดฟเดค เดเตเตบเดซเดฟเดเดฑเตเดทเตป เดเดฏเดฟ (เดตเดฟเดตเดฟเดง เดตเดฒเตเดชเตเดชเด
เดชเตเตผเดฃเตเดฃเดธเดเดเตเดฏ เดคเดฐเดเตเดเตพ, เด เดจเตเดคเดฟเดฎเดฐเตเดชเด, ...). เดจเดฟเดฒเดตเดฟเตฝ เดชเดฟเดจเตเดคเตเดฃเดฏเตเดเตเดเตเดจเตเดจ เดฎเตเดทเตเดจเตเดเดณเตเดเต เดฒเดฟเดธเตเดฑเตเดฑเต เดเดคเดพเดฃเต
เดตเดดเดฟ เดฒเดญเตเดฏเดฎเดพเดฃเต -เดฎเดเตเดเตเดกเตเดชเต เดธเดนเดพเดฏเดฟเดเตเดเต เดเดชเตเดทเตป. เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฃเต x86_32
-เดชเตเดฐเดงเดพเดจเด f
เดธเดเตเดเดฎเดพเดเตเดเตเดจเตเดจเต f เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเตเดฑเต เดชเตเดฐเดตเตเดถเดจ เดชเตเดฏเดฟเดจเตเดฑเดพเดฏเดฟ. 'เดฎเตเดฏเดฟเตป' เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ. เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ, เด เดคเต
เดตเดฟเดถเดเดฒเดจเด เดเตเดฏเตเดฏเตเดจเตเดจ เดชเตเดฐเตเดเตเดฐเดพเดฎเดฟเดจเตเดฑเต เดเดฐเดเดญ เดชเตเดฏเดฟเดจเตเดฑเดพเดฏเดฟ เดเดฃเดเตเดเดพเดเตเดเตเดจเตเดจเต. เดเดชเดฏเตเดเดฟเดเตเดเตเด -เดฒเดฟเดฌเต-เดเตปเดเตเดฐเดฟ if f
เดเดฐเต เดตเดงเดถเดฟเดเตเดทเดฏเตเดเต เดฎเดงเตเดฏเดคเตเดคเดฟเตฝ เดตเดฟเดณเดฟเดเตเดเดชเตเดชเตเดเตเดฃเตเดเดคเดพเดฃเต.
-เด เดตเตเดฏเดเตเดคเดฎเดพเดเตเดเตเด
เดเตเดกเดฟเดจเตเดฑเต เดเดฐเต เด เดตเตเดฏเดเตเดคเดฎเดพเดฏ เดชเดคเดฟเดชเตเดชเต เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดฏเตเดจเตเดจเต (เด เดตเดฟเดเต เดฏเดฅเดพเตผเดคเตเดฅ เดเดกเดจเตเดฑเดฟเดซเดฏเดฑเตเดเตพ เดฎเดพเดฑเตเดฑเดฟเดธเตเดฅเดพเดชเดฟเดเตเดเตเดจเตเดจเต
เด เตผเดคเตเดฅเดฎเดฟเดฒเตเดฒเดพเดคเตเดค เดเดจเตเดจเต) เดเตเดเดพเดคเต เดชเตเดฑเดคเตเดคเตเดเดเดเตเดเตเดจเตเดจเต. เดฏเดฅเดพเตผเดคเตเดฅเดตเตเด เดชเตเดคเดฟเดฏเดคเตเด เดคเดฎเตเดฎเดฟเดฒเตเดณเตเดณ เดเดคเตเดคเดฟเดเดชเดพเดเตเดเตพ เดชเดเตเดเดฟเด
เดซเดฒเดคเตเดคเดฟเดจเตเดฑเต เดคเตเดเดเตเดเดคเตเดคเดฟเตฝ เดเดฟเดนเตเดจเดเตเดเตพ เดธเตเดเตเดทเดฟเดเตเดเตเดจเตเดจเต.
-เดเตเดกเต เดซเดฏเดฒเต
เดชเตเดฐเตเดฑเตเดฑเดฟ-เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดค เดเตเดกเต เดฑเตเดกเดฏเดฑเดเตโเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต เดซเดฏเดฒเต เดธเดพเดงเดพเดฐเดฃ เดเดเตเดเตเดชเตเดเตเดเดฟเดจเต เดชเดเดฐเด.
[-no]-orig-name
เดจเตเตผเดฎเดฒเตเดธเตเดทเตป เดเดเตเดเดคเตเดคเดฟเตฝ, เดเดฟเดฒ เดตเตเดฐเดฟเดฏเดฌเดฟเดณเตเดเตพ เดตเตเดฏเดคเตเดฏเดธเตเดคเดฎเดพเดเตเดฎเตเดชเตเตพ เดชเตเดจเตผเดจเดพเดฎเดเดฐเดฃเด เดเตเดฏเตเดฏเดชเตเดชเตเดเตเดเตเดเตเดเดพเด
เดเดฐเต เดชเตเดฐเดฟเดฒเตเดณเตเดณ เดตเตเดฐเดฟเดฏเดฌเดฟเดณเดฟเดจเต เดเดจเตเดจเดฟเดเตเดเต เดจเดฟเดฒเดจเดฟเตฝเดเตเดเดพเตป เดเดดเดฟเดฏเตเด (เดเดฆเดพ: เดเดเตเดณ เดตเตเดฐเดฟเดฏเดฌเดฟเดณเตเด เดเดชเดเดพเดฐเดฟเดเดตเตเด
เดชเดฐเดพเดฎเตเดฑเตเดฑเตผ). เด เดเดชเตเดทเตป เดเดฃเดพเดฏเดฟเดฐเดฟเดเตเดเตเดฎเตเดชเตเตพ, เดเดฐเต เดคเดตเดฃเดฏเตเด เดเดคเต เดธเดเดญเดตเดฟเดเตเดเตเดฎเตเดชเตเตพ เดเดฐเต เดธเดจเตเดฆเตเดถเด เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดฏเดชเตเดชเตเดเตเด.
เดจเดฎเตเดชเตผ เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
[-เดเดฒเตเดฒ]-เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เดเดชเตเดชเต-เดคเดพเดดเตเดคเตเดคเดฟ
เดธเตเตป เดเตเดฏเตโเดคเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดกเตเตบเดเดพเดธเตโเดฑเตเดฑเตเดเตพ เดฒเดเตเดทเตเดฏเดธเตเดฅเดพเดจ เดชเดฐเดฟเดงเดฟ เดเดตเดฟเดเตเดเตเดเตเดเดพเด (เดธเตเดฅเดฟเดฐเดฎเดพเดฏเดฟ
เด เดฒเตเดฒ).
[-เดเดฒเตเดฒ]-เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เดเดชเตเดชเต-เดเดตเตผเดซเตเดฒเต
เดเดตเดฟเดเตเดเตเดดเตเดเตเดจเตเดจ เดธเตเตป เดเตเดฏเตโเดค เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพเดเตเดเดพเดฏเดฟ เด เดฒเดพเดฑเดเตเดเตพ เดธเตเดทเตโเดเดฟเดเตเดเตเด (เด เดคเต เดเดจเตเดจเดคเดฟเดจเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ).
[-เดเดฒเตเดฒ]-เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เด เตบเดธเตเตปเดกเต-เดกเตเตบเดเดพเดธเตเดฑเตเดฑเต
เดเดชเตเดชเดฟเดเดพเดคเตเดค เดกเตเตบเดเดพเดธเตเดฑเตเดฑเตเดเตพ เดฒเดเตเดทเตเดฏเดธเตเดฅเดพเดจ เดชเดฐเดฟเดงเดฟ เดเดตเดฟเดฏเตเดฎเตเดชเตเตพ เด เดฒเดพเดฑเดเตเดเตพ เดธเตเดทเตเดเดฟเดเตเดเตเด (เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ
เดเดฒเตเดฒ เดตเดฐเต).
[-เดเดฒเตเดฒ]-เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เดเดชเตเดชเต เดเตเดฏเตเดฏเดพเดคเตเดค-เดเดตเตผเดซเตเดฒเต
เดเดตเดฟเดเตเดเตเดดเตเดเตเดจเตเดจ เดเดชเตเดชเดฟเดเดพเดคเตเดค เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพเดเตเดเดพเดฏเดฟ เด เดฒเดพเดฑเดเตเดเตพ เดธเตเดทเตเดเดฟเดเตเดเตเด (เดเดฒเตเดฒ เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ).
[-no]-pp-annot
เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเต เดตเตเดฏเดพเดเตเดฏเดพเดจเดเตเดเตพ. gcc (เด เดฒเตเดฒเตเดเตเดเดฟเตฝ GNU) เดเดชเดฏเตเดเดฟเดเตเดเตเดฎเตเดชเตเตพ เดฎเดพเดคเตเดฐเดฎเต เดเดคเต เดจเดฟเดฒเดตเดฟเตฝ เดธเดพเดงเตเดฏเดฎเดพเดเต
cpp) เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเตผ. เดตเตเดฏเดพเดเตเดฏเดพเดจเดเตเดเตพ เดชเตเดฐเต-เดชเตเดฐเตเดธเดธเต เดเตเดฏเตเดฏเดฐเตเดคเต เดเดจเตเดจเดคเดพเดฃเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ.
[-เดเดฒเตเดฒ]-เด เดเตเดเดเดฟ
CIL เดจเตเตผเดฎเดฒเตเดธเต เดเตเดฏเตโเดค เดธเตเดดเตโเดธเต เดเตเดกเต เดชเตเดฐเตเดฑเตเดฑเดฟ-เดชเตเดฐเดฟเดจเตเดฑเต เดเตเดฏเตเดฏเตเดจเตเดจเต (เดกเดฟเดซเตเตพเดเตเดเดพเดฏเดฟ เดเดฒเตเดฒ).
-print-libpath
Frama-C เดเตเตผเดฃเตฝ เดฒเตเดฌเตเดฐเดฑเดฟ เดเตปเดธเตเดฑเตเดฑเดพเตพ เดเตเดฏเตเดคเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดกเดฏเดฑเดเตเดเดฑเดฟ เดเดเตเดเตเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต
- เดชเตเดฐเดฟเดจเตเดฑเต-เดชเดพเดคเตเดคเต
เดเดจเตเดจ เด เดชเดฐเดจเดพเดฎเด -เดชเตเดฐเดฟเดจเตเดฑเต-เดทเตเดฏเตผ-เดชเดพเดคเตเดคเต
-เดชเตเดฐเดฟเดจเตเดฑเต-เดชเตเดฒเดเดฟเตป-เดชเดพเดคเตเดคเต
Frama-C เด เดคเดฟเดจเตเดฑเต เดชเตเดฒเดเดฟเดจเตเดเตพ เดคเดฟเดฐเดฏเตเดจเตเดจ เดกเดฏเดฑเดเตโเดเดฑเดฟ เดเดเตเดเตโเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต
FRAMAC_PLUGIN เดตเตเดฐเดฟเดฏเดฌเดฟเดณเตเด เดฆเดฟ -เดเดกเต-เดชเดพเดคเตเดคเต เดเดชเตเดทเตป)
-เดชเตเดฐเดฟเดจเตเดฑเต-เดทเตเดฏเตผ-เดชเดพเดคเตเดคเต
Frama-C เด เดคเดฟเดจเตเดฑเต เดกเดพเดฑเตเดฑ เดธเดเดญเดฐเดฟเดเตเดเตเดจเตเดจ เดกเดฏเดฑเดเตโเดเดฑเดฟ เดเดเตเดเตโเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต
FRAMAC_SHARE เดตเตเดฐเดฟเดฏเดฌเดฟเตพ)
-เดเดชเดฏเตเดเดฟเดเตเดเดพเดคเตเดค-เดจเดฟเตผเดฆเตเดฆเดฟเดทเตเด-เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพ เดจเตเดเตเดเด เดเตเดฏเตเดฏเตเด
ACSL เดธเตเดชเตเดธเดฟเดซเดฟเดเตเดเตเดทเตป เดเดณเตเดณเดคเตเด เดเดจเตเดจเดพเตฝ เดเดชเดฏเตเดเดฟเดเตเดเดพเดคเตเดคเดคเตเดฎเดพเดฏ เดซเดเดเตเดทเตป เดชเตเดฐเตเดเตเดเตเดเตเดชเตเดชเตเดเตพ เดธเตเดเตเดทเดฟเดเตเดเตเดจเตเดจเต
เดเตเดพเดกเต. เดเดคเดพเดฃเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ. เดเดเตเดฐเดฟเดฌเตเดฏเตเดเตเดเต เดเดณเตเดณ เดชเตเดฐเดตเตผเดคเตเดคเดจเดเตเดเตพ FRAMAC_BUILTIN เดเดฒเตเดฒเดพเดฏเตเดชเตเดชเตเดดเตเด
เดธเตเดเตเดทเดฟเดเตเดเต.
-เดธเตเดซเต-เด เดฑเตเดเตพ
เดฎเตพเดเตเดเดฟเดกเตเดฎเตปเดทเดฃเตฝ เด เดฑเตเดฏเตโเดเตเดเต เด เดฑเตเดฏเตโเดเตเดเต เดตเตเดฃเตเดเดฟ เดธเตเดเตเดฐเดเตโเดฑเตเดฑเตเดเตพเดเตเดเตเดณเตเดณเดฟเดฒเต เดซเตเตฝเดกเตเดเตพ, เดเดคเต เด เดจเตเดฎเดพเดจเดฟเดเตเดเตเดจเตเดจเต
เดเดฒเตเดฒเดพ เดเดเตโเดธเดธเตเดธเตเดเดณเตเด เดฌเดจเตเดงเดฟเดชเตเดชเดฟเดเตเดเดฟเดฐเดฟเดเตเดเดฃเด (เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ เดธเดเตเดเตเดเดฐเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต). เดตเดฟเดชเดฐเตเดค เดเดชเตเดทเตป เดเดฃเต - เดธเตเดฐเดเตเดทเดฟเดคเดฎเดฒเตเดฒ-
เดถเตเดฐเตเดฃเดฟเดเตพ
-เดฐเดเตเดทเดฟเดเตเดเตเด เดซเดฏเดฒเต
Frama-C เดฏเตเดเต เด เดตเดธเตเดฅ เดเดคเดฟเดฒเตเดเตเดเต เดธเดเดฐเดเตเดทเดฟเดเตเดเตเดจเตเดจเต เดซเดฏเดฒเต เดตเดฟเดถเดเดฒเดจเดเตเดเตพ เดจเดเดจเตเดจเดคเดฟเดจเต เดถเตเดทเด.
[-เดเดฒเตเดฒ]-เดฒเดณเดฟเดคเดฎเดพเดเตเดเตเด-cfg
เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเต เดฎเตเดฎเตเดชเต เดฌเตเดฐเตเดเตเดเต, เดคเตเดเดฐเตเด, เดธเตเดตเดฟเดเตเดเต เดธเตเดฑเตเดฑเตเดฑเตเดฑเตเดฎเตเดจเตเดฑเต เดเดจเตเดจเดฟเดต เดจเตเดเตเดเด เดเตเดฏเตเดฏเตเดจเตเดจเต. เดจเดฎเตเดชเตผ เดเดจเตเดจเดคเดฟเดฒเตเดเตเดเตเดณเตเดณ เดกเดฟเดซเตเตพเดเตเดเตเดเตพ.
-เดชเดฟเดจเตเดจเต เดตเดฟเดถเดเดฒเดจเดเตเดเตพ เดฐเดเดฟเดเตเดเดพเตป เดเดฐเดพเดณเต เด เดจเตเดตเดฆเดฟเดเตเดเตเดจเตเดจเต: เดเดชเตเดทเดจเตเดเตพเดเตเดเตเดชเตเดชเด Frama-C เดฏเตเดเต เดเดฆเตเดฏ เดฑเตบ เดธเดเดญเดตเดฟเดเตเดเตเด
เดฎเตเดฎเตเดชเต -เดชเดฟเดจเตเดจเต เด เดคเดฟเดจเต เดถเตเดทเดฎเตเดณเตเดณ เดเดชเตโเดทเดจเตเดเตพเดเตเดเตเดชเตเดชเด เดฐเดฃเตเดเดพเดฎเดคเตเดคเต เดเดเตเดเด เดจเดเดคเตเดคเตเด -เดชเดฟเดจเตเดจเต เดจเต
เดเดฆเตเดฏ เดเดเตเดเด เดฎเตเดคเตฝ เดจเดฟเดฒเดตเดฟเดฒเตเดณเตเดณ เดชเดฆเตเดงเดคเดฟ.
-เด เดชเตเดชเตเตพ-เดเตบ prj
เดธเดฎเดพเดจเดฎเดพเดฏ -เดชเดฟเดจเตเดจเต เดชเตเดฐเตเดเดเตเดฑเตเดฑเดฟเตฝ เดฐเดฃเตเดเดพเด เดฑเตบ เดจเดเดคเตเดคเตเดจเตเดจเต เดเดจเตเดจเดคเตเดดเดฟเดเตเดเดพเตฝ prj เด เดเตเดเดจเต เดเดฒเตเดฒเตเดเตเดเดฟเตฝ
เดชเตเดฐเตเดเดเตเดฑเตเดฑเต เดจเดฟเดฒเดตเดฟเดฒเตเดฃเตเดเต, Frama-C เดเดฐเต เดชเดฟเดถเดเตเดเต เดชเตเดฑเดคเตเดคเตเดเดเดเตเดเตเดจเตเดจเต.
- เดธเดฎเดฏเด เดซเดฏเดฒเต
เดจเตฝเดเดฟเดฏเดฟเดฐเดฟเดเตเดเตเดจเตเดจเดคเดฟเตฝ เดเดชเดฏเตเดเตเดคเต เดธเดฎเดฏเดตเตเด เดคเตเดฏเดคเดฟเดฏเตเด เดเตเตผเดเตเดเตเดจเตเดจเต เดซเดฏเดฒเต Frama-C เดชเตเดฑเดคเตเดคเตเดเดเดเตเดเตเดฎเตเดชเตเตพ.
- เดเตเดชเตเดชเต เดเตเดเตเดเต
เดธเตเดดเตเดธเต เดซเดฏเดฒเตเดเดณเตเดเต เดเตเดชเตเดชเต เดเตเดเตเดเดฟเดเดเต เดจเดฟเตผเดฌเดจเตเดงเดฟเดเตเดเตเดจเตเดจเต. เดเดจเดฟเดฏเดฟเดฒเตเดฒเตเดเตเดเดฟเตฝ เดฎเดพเดคเตเดฐเดฎเต เด เดเดชเตเดทเตป เดชเตเดฐเดธเดเตเดคเดฎเดพเดเต
เดตเดฟเดถเดเดฒเดจเด เด เดญเตเดฏเตผเดคเตเดฅเดฟเดเตเดเตเดจเตเดจเต (เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเต เดฎเตเดฎเตเดชเต เดเตเดชเตเดชเต เดเตเดเตเดเดฟเดเดเต เดชเตเดฐเดคเตเดฏเดเตเดทเดฎเดพเดฏเดฟ เดธเดเดญเดตเดฟเดเตเดเตเดฎเตเดจเตเดจเดคเดฟเดจเดพเตฝ
เดธเดฎเดพเดฐเดเดญเดฟเดเตเดเต).
-เดเดฒเตเดตเตฝ n
เดตเดพเดเตเดฏเดเดเดจเดพเดชเดฐเดฎเดพเดฏเดฟ เดฒเตเดชเตเดชเตเดเตพ เด เตบเดฑเตเตพ เดเตเดฏเตเดฏเตเด n เดตเดฟเดถเดเดฒเดจเดคเตเดคเดฟเดจเต เดฎเตเดฎเตเดชเตเดณเตเดณ เดคเดตเดฃ. เดเดคเต เดคเดฟเดเดเตเดเตเด เดเตเดฒเดตเตเดฑเดฟเดฏเดคเดพเดฏเดฟเดฐเดฟเดเตเดเตเด
เดเตเดเดพเดคเต เดเดฟเดฒ เดชเตเดฒเดเดฟเดจเตเดเตพ (เดเดฆเดพ. เดฎเตเดฒเตเดฏ เดตเดฟเดถเดเดฒเดจเด) เดเตเดเตเดคเตฝ เดเดพเดฐเตเดฏเดเตเดทเดฎเดฎเดพเดฏ เดตเดดเดฟเดเตพ เดจเตฝเดเตเดจเตเดจเต
เดเดฐเต เดเดพเดฐเตเดฏเด. เดเตเดเตเดคเตฝ เดตเดฟเดตเดฐเดเตเดเตพเดเตเดเต เด เดตเดฐเตเดเต เดฌเดจเตเดงเดชเตเดชเตเดเตเด เดฎเดพเดจเตเดตเดฒเตเดเตพ เดเดพเดฃเตเด. เดเดคเดฟเดจเตเด เดเดดเดฟเดฏเตเด
เดตเดดเดฟ เดเดฐเต เดฒเตเดชเตเดชเต เด เดเดฟเดธเตเดฅเดพเดจเดคเตเดคเดฟเตฝ เดธเดเตเดตเดฎเดพเดเตเดเตเด เดฒเตเดชเตเดชเต เดชเตเดฐเดฏเตเดเด เด เตบเดฑเตเตพ เดเตเดฏเตเดฏเตเด เดจเดฟเตผเดฆเตเดฆเตเดถเด. เด
เดจเตเดเดฑเตเดฑเตเดตเต เดฎเตเดฒเตเดฏเด n เด เดคเตเดคเดฐเด เดชเตเดฐเดฏเตเดเดเตเดเดณเต เดคเดเดฏเตเด.
[-เดเดฒเตเดฒ]-เดฏเตเดฃเดฟเดเตเดกเต
utf8 เดชเตเดฐเดคเตเดเดเตเดเดณเตเดณเตเดณ ACSL เดซเตเตผเดฎเตเดฒเดเตพ เดเดเตเดเตเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต. เดเดคเดพเดฃเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ. เดจเตฝเดเดฟเดฏเดชเตเดชเตเตพ
เดฏเตเดฃเดฟเดเตเดกเต เดเดฒเตเดฒ เดเดชเตเดทเตป, เดชเดเดฐเด Frama-C ASCII เดชเดคเดฟเดชเตเดชเต เดเดชเดฏเตเดเดฟเดเตเดเตเด. ACSL เดฎเดพเดจเตเดตเตฝ เดเดพเดฃเตเด
เดเดคเตเดคเดฟเดเดชเดพเดเตเดเตพเดเตเดเดพเดฏเดฟ.
เดธเตเดฐเดเตเดทเดฟเดคเดฎเดฒเตเดฒเดพเดคเตเดค เดถเตเดฐเตเดฃเดฟเดเตพ
เดเดพเดฃเตเด -เดธเตเดซเต-เด เดฑเตเดเตพ
[-no]-unspecified-access
เดตเตเดฏเดเตเดคเดคเดฏเดฟเดฒเตเดฒเดพเดคเตเดค เดเตเดฐเดฎเดคเตเดคเดฟเตฝ เดธเดเดญเดตเดฟเดเตเดเตเดจเตเดจ เดเดเตโเดธเดธเตเดเตพ เดตเดพเดฏเดฟเดเตเดเตเดเดฏเต เดเดดเตเดคเตเดเดฏเต เดเตเดฏเตเดฏเตเดจเตเดจ เดชเดฐเดฟเดถเตเดงเดจเดเตพ (เดธเดฟ เดชเตเดฐเดเดพเดฐเด
เดธเตเดเตเดตเตปเดธเต เดชเตเดฏเดฟเดจเตเดฑเดฟเดจเตเดเตเดเตเดฑเดฟเดเตเดเตเดณเตเดณ เดธเตเดฑเตเดฑเดพเตปเดกเตเตผเดกเดฟเดจเตเดฑเต เดเดถเดฏเด) เดชเตเดฐเดคเตเดฏเตเด เดธเตเดฅเดฒเดเตเดเดณเดฟเตฝ เดจเดเดชเตเดชเดฟเดฒเดพเดเตเดเตเดจเตเดจเต. เดเตเดเต
-เด เดตเตเดฏเดเตเดคเดฎเดฒเตเดฒเดพเดคเตเดค-เดเดเตเดธเดธเต, เดเดคเต เดเดฒเตเดฒเดพเดฏเตเดชเตเดชเตเดดเตเด เด เดเตเดเดจเตเดฏเดพเดฃเตเดจเตเดจเต เด เดจเตเดฎเดพเดจเดฟเดเตเดเตเดจเตเดจเต (เดเดคเดพเดฃเต เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟ).
-เดชเดคเดฟเดชเตเดชเต
Frama-C เดฏเตเดเต เดชเดคเดฟเดชเตเดชเต เดธเตเดเตเดฐเดฟเดเดเต เดเดเตเดเตเดชเตเดเตเดเต เดเตเดฏเตเดฏเตเดจเตเดจเต
- เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เดฆเดถเดพเดเดถ-เดซเตเดฒเตเดเตเดเต
เดเดฐเต เดซเตเดฒเตเดเตเดเดฟเดเดเต เดชเตเดฏเดฟเดจเตเดฑเต เดเตเตบเดธเตเดฑเตเดฑเดจเตเดฑเต เดเตเดคเตเดฏเดฎเดพเดฏเดฟ เดชเตเดฐเดคเดฟเดจเดฟเดงเตเดเดฐเดฟเดเตเดเดพเตป เดเดดเดฟเดฏเดพเดคเตเดคเดชเตเดชเตเตพ เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต เดจเตฝเดเตเดจเตเดจเต (เดเดฆเดพ 0.1).
เดเดจเตเดจเดพเดเดพเด เดเดฐเตเด, เดเดฐเดฟเดเตเดเดฒเต, เด เดฅเดตเดพ เดเดฒเตเดฒเดพเด
[-เดเดฒเตเดฒ]-เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต-เด เดชเตเดฐเดเตเดฏเดพเดชเดฟเดค-เดเตเดณเต
เดเดฐเต เดซเดเดเตโเดทเตป เดชเตเดฐเดเตเดฏเดพเดชเดฟเดเตเดเตเดจเตเดจเดคเดฟเดจเต เดฎเตเดฎเตเดชเต เด เดคเต เดตเดฟเดณเดฟเดเตเดเดชเตเดชเตเดเตเดฎเตเดชเตเตพ เดฎเตเดจเตเดจเดฑเดฟเดฏเดฟเดชเตเดชเต เดจเตฝเดเตเดจเตเดจเต (เดธเตเดฅเดฟเดฐเดธเตเดฅเดฟเดคเดฟเดฏเดพเดฏเดฟ เดธเดเตเดเตเดเดฐเดฟเดเตเดเดฟเดฐเดฟเดเตเดเตเดจเตเดจเต).
เดซเตเดฐเดพเดฎ-เดธเดฟ
เดชเตเดฒเดเดฟเดจเตเดเตพ เดชเตเดฐเดคเตเดฏเตเด เดเดชเตเดทเดจเตเดเตพ
เดเดฐเตเดจเตเดจเตเด เดชเตเดฒเดเดฟเตป, เดเดฎเดพเตปเดกเต
เดซเตเดฐเตเดฏเดฟเด-เดธเดฟ -เดชเตเดฒเดเดฟเตป-เดนเตเตฝเดชเตเดชเต
เดชเตเดฒเดเดฟเตป เดชเตเดฐเดคเตเดฏเตเดเดฎเดพเดฏ เดเดชเตเดทเดจเตเดเดณเตเดเต เดฒเดฟเดธเตเดฑเตเดฑเต เดจเตฝเดเตเด.
เดชเตเดฑเดคเตเดคเต เดชเดฆเดตเดฟ
0 เดตเดฟเดเดฏเดเดฐเดฎเดพเดฏ เดจเดฟเตผเดตเตเดตเดนเดฃเด
1 เด เดธเดพเดงเตเดตเดพเดฏ เดเดชเดฏเตเดเตเดคเต เดเตปเดชเตเดเตเดเต
2 เดเดชเดฏเตเดเตเดคเต เดคเดเดธเตเดธเด (เดเตเดฒเตเดฒเตฝ เด เดฒเตเดฒเตเดเตเดเดฟเตฝ เดคเดคเตเดคเตเดฒเตเดฏเดฎเดพเดฏเดคเต)
3 เดจเดเดชเตเดชเดฟเดฒเดพเดเตเดเดพเดคเตเดค เดธเดตเดฟเดถเตเดทเดค
4 5 6 เดเดจเตเดคเดฐเดฟเด เดชเดฟเดถเดเต
125 เด เดเตเดเดพเดค เดชเดฟเดถเดเต
2-เตฝ เดเตเดเตเดคเดฒเตเดณเตเดณ เดเดเตเดธเดฟเดฑเตเดฑเต เดธเตเดฑเตเดฑเดพเดฑเตเดฑเดธเต เดเดฐเต เดฌเดเต เดเดฏเดฟ เดเดฃเดเตเดเดพเดเตเดเดพเด (เด เดฒเตเดฒเตเดเตเดเดฟเตฝ เดเตเดธเดฟเดจเดพเดฏเตเดณเตเดณ เดซเตเดเตเดเตผ เด เดญเตเดฏเตผเดคเตเดฅเดจ
เดเดเตเดธเดฟเดฑเตเดฑเต เดธเตเดฑเตเดฑเดพเดฑเตเดฑเดธเดฟเดจเตเดฑเต 3) เดเตเดเดพเดคเต Frama-C เดฏเตเดเต BTS-เตฝ เดฑเดฟเดชเตเดชเตเตผเดเตเดเต เดเตเดฏเตเดคเตเดเตเดเดพเด (เดเตเดตเดเต เดเดพเดฃเตเด).
ENVIRONMENT เดตเตเดฏเดคเตเดฏเดพเดธเดเตเดเตพ
เดเดคเดฟเดฒเตเดเต Frama-C เด เดคเดฟเดจเตเดฑเต เดซเดฏเดฒเตเดเตพ เดคเดฟเดฐเดฏเตเดจเตเดจ เดธเตเดฅเดฒเดเตเดเตพ เดจเดฟเดฏเดจเตเดคเตเดฐเดฟเดเตเดเดพเตป เดธเดพเดงเดฟเดเตเดเตเด
เดเดจเดฟเดชเตเดชเดฑเดฏเตเดจเตเดจ เดตเตเดฐเดฟเดฏเดฌเดฟเดณเตเดเตพ.
FRAMAC_LIB
เดเตเตผเดฃเดฒเดฟเดจเตเดฑเต เดเดเดชเตเตฝ เดเตเดฏเตเดค เดเดจเตเดฑเตผเดซเตเดธเตเดเตพ เดเตปเดธเตเดฑเตเดฑเตเตพ เดเตเดฏเตเดคเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดกเดฏเดฑเดเตเดเดฑเดฟ
FRAMAC_PLUGIN
Frama-C-เดจเต เดธเดพเดงเดพเดฐเดฃ เดชเตเดฒเดเต-เดเดจเตเดจเตเดเตพ เดเดฃเตเดเตเดคเตเดคเดพเดจเดพเดเตเดจเตเดจ เดกเดฏเดฑเดเตเดเดฑเดฟ. เดจเดฟเดเตเดเตพเดเตเดเต เดชเตเดฒเดเดฟเดจเตเดเตพ เดตเตเดฃเดฎเตเดเตเดเดฟเตฝ
เดชเดฒ เดธเตเดฅเดฒเดเตเดเดณเดฟเดฒเตเด, เดเดชเดฏเตเดเดฟเดเตเดเตเด -เดเดกเต-เดชเดพเดคเตเดคเต เดชเดเดฐเด.
FRAMAC_SHARE
Frama-C เดกเดพเดฑเตเดฑเดเตพ เดเตปเดธเตเดฑเตเดฑเดพเตพ เดเตเดฏเตเดคเดฟเดฐเดฟเดเตเดเตเดจเตเดจ เดกเดฏเดฑเดเตเดเดฑเดฟ.
onworks.net เดธเตเดตเดจเดเตเดเตพ เดเดชเดฏเตเดเดฟเดเตเดเต frama-c.byte เดเตบเดฒเตเดจเดพเดฏเดฟ เดเดชเดฏเตเดเดฟเดเตเดเตเด