Auto-Generation of Action Items as part of Static Analysis of a Computer Program.

Publication Summary

This article presents a method to supplement the standard output of static analysis engines with a new type of output: a grouping of the issues into (possibly high-level) action items governing the remediation process and presents generic methods for the generation of action items given a list of issues output by the engine.

Country
Language	English (United States)

---

Continue to Text Preview →

Page 1 of 2

Ȉ ˇ

ˇˇ

˄ ˙ ˙ Ȉ ˙ ˝ ˛ ˙ ˚ ˝ ˙ ~ ˄ ~ ˝ ˝ Ȉ ˝ Ȉ ˇ !˄ ˛ ˝ ˛ ˝ ˝ ˛ ˄ ˝ ˛ ˄ ˄ ˝ Ȉˇ " ˚ ˙ ~ ˄ ˄ ˝ ˝ ˝ ˛ ˄ Ȉ ˇ " ~ ~ ˄ ˚˄ ˄ ˄ Ȉ ˛ ˄ ˝ ˝ ˙ ˛ ˄ ˛ Ȉˇ

" ˚ ˙ ~ ˄ # Ȉ ˛ ˙ ˛ Ȉ $ ˇ % Ȉ ˚ ˝ ˚ ˄ ˝ ˙ ˄ Ȉ ˝ # ˄ Ȉ ˛ Ȉ ˇ ~ ˄ Ȉ Ȉ ˙ Ȉ ˄ Ȉ ˄ ˝ ˝ ˛ ~ ˄ ˄ ˝ ˙ ˄ ˝ ˛ ˛ # ˄ ˙ ˄ ˙ ~ ~ ˛ ˝ ˝ Ȉˇ ˝ ~ # ~ ˄ & ' ˚˄ ˄ ˚ ˝ ˝ ˝ ˛ ˄ $ ~ ˝ ˄ ˄ ˛ Ȉ # Ȉ ˄ ~ ˄ ˝ ˙ ˛ ˄ ˝ ˚ ˄ ˛ Ȉ ˚ ˄ ˄ ˝ ˇ !˄ ˝ ˙ ˄ ˙ ˄ ˝ ˛ ~ ˝ Ȉ # ˄ ˛ Ȉ $ ˝ ˄ ˝ ˝ ˇ !˄ ~ ˚˄ Ȉ ˄ ˝ ˝ ~ ˄ ˝ ˙ ˚ ˝ ˄ ˙ # ˝ ˙ Ȉ ˄ (˄ Ȉ ~ ˝ ˄ ˙ # ˚ ˝ ˛ ˛ ˛ ˄ # ˝ ˛ Ȉ ˄ ˚ ˝ ˝ˇ

) ˙ ˚ ˝* +ˇ , ˄ ˝ ˝ Ȉ ˚ ˄ ˚ * Ȉ Ȉ ˄ & ˛ ˄ Ȉ˄ ˙ ' Ȉ ˙ Ȉ ˄ ˝ ˇ -ˇ , Ȉ ˄ ˝ ˄ Ȉ Ȉ ˙ ˛ ˄ Ȉ ˇ

. ˚ ˝ ˄ ˚ ˙ * +

+++ˇˇˇˇ Ȉ Ȉ ˄ ˝ ˝

Ȉ Ȉ ˄ ˝ ˝ Ȉ Ȉ ˄ ˝ ˝

Ȉ Ȉ ˄ ˝ ˝

˚ ˄ Ȉ Ȉ ˄

˚ ˄ Ȉ Ȉ ˄ ˚ ˄ Ȉ Ȉ ˄

˚ ˄ Ȉ Ȉ ˄ (

(((˝

˝ ˝

˝

Ȉ

Ȉ Ȉ

ˇ

         ˇˇˇ !˄ Ȉ ˚ ˄ & ˚ ˛ ˝ ˛ ˝ ˛ ˚' Ȉ $ Ȉ ˄ (˝ ( ˛ ˇ ˝ ˛ ˝ ~ ˚ ˄ ˚ Ȉ ˝ * ˇ !˄ Ȉ ˙ Ȉ ˄ ˝ ˄ ˚ / & ˇ ˇ~ ˄ 0 ˄ Ȉ Ȉ & ˇȈˇ~ ˄ Ȉ ˄ ˝ 1 ˄ ˝ ˄ ˝ Ȉ~ ˇˇˇ''ˇ ˛ˇ ! # # Ȉ ˄ ˙ ˄ Ȉ Ȉ~ ˝ ˝ ˄ ˚ Ȉ ˛ # Ȉ ˄ ˇ
ˇ ˝ ˝ ˄ ˄ ˇ ˝ˇ ( ˙ ˄ ˚ / ˚˄ ˇ

-

---ˇˇˇˇ ) Ȉ $ Ȉ ˄ ˝ ˛

) Ȉ $ Ȉ ˄ ˝ ˛ ) Ȉ $ Ȉ ˄ ˝ ˛

) Ȉ $ Ȉ ˄ ˝ ˛

Ȉ

Ȉ Ȉ

Ȉ ˇ

                                                      ˇˇˇ , ˙ Ȉ ˚˄ ˄ ˛ ˝ Ȉ $ ˄ ˝ ˝ ˛ Ȉ ˇ !˄ *
ˇ !˄ ˝ ˝ & # ~ ˄ ˝ ˝ ~ ˄ / Ȉ ˄ Ȉ ˄ 'ˇ ˛ˇ !˄ ˝ ˄ ˝ ˛ / & # ~ ˄ ˝ ˄ ˄ Ȉ ˙ ˛0 ˝ ˝ ~ ˄ / Ȉ ˄ Ȉ ˄ 'ˇ ˇ & ˄ Ȉ ˛ ˝ Ȉ ˄ ˄ ˛ ˚ ˄ ˝ ˝ ˚ ˝ ˝ ~ ˄ ˄ ˄ ˝ ˛ ˝ ˝ ˄ Ȉ Ȉ ~ ˝ ˄ ˝ # ˄ ˝ ˄ ˙ ˛ ˚ ˄ ˝ ˝ 'ˇ ˝ˇ !˄ Ȉ ˝ Ȉ ˄ & # ~ Ȉ $ ˝ ˝ Ȉ ˄ / Ȉ ˙ Ȉ ˄ 'ˇ
ˇ ˙ ( ˄ ˇ ˇ ˝ & ' ˝ Ȉ ˄ & # ~ ˄ ˝ ˝ Ȉ ˚ ˝ ˛ ˄ ˝ ˚˄ ˄ ˄ ˙ ˛ ˄ ˝ ˝'ˇ Ȉˇ !˄ ( Ȉ ˝ ˄ ˝ & / Ȉ Ȉ ˄ Ȉ

Page 2 of 2

#

~

˝ ˄ ˚ ˚ Ȉ ˄ ˝ ˙ Ȉ ˄ Ȉ˄ ˄ ˝ ˙

˄ ˄ ˄ 'ˇ ˄ˇ % ˄ ˝ & # ~ ~ Ȉ ˝ ˛ ˝ ˝ 23 4 ˛ 5 ˝ 2'ˇ

!˄ ˄ Ȉ $ (˝ ˝ / # ˝ ˇ 6 # ~ ˝ ˝ . ˝ ˄ ˝ ~ ˛ ˝ ˝ ~ ˚˄ ˝ . ˝ ˝ ˝ ˝ ~ ˛ ˄ ˄ ˝ ˛ # ˝ ˄ ˚ ˇ ) ˛ ˝ ˄ Ȉ ˄ ˙ ˄ ˝ ˄ ˚ ˝ ˝ ˝ ˛ ˚ ˄ ˝ Ȉ Ȉ Ȉ & ˄ '~ ˝ ˚ ˝ ˄ ˛ ˄ Ȉ Ȉ ˛ Ȉ ˙ ˄ Ȉ ˝ Ȉ ˄ & Ȉ ˄ Ȉ ' ˝ Ȉ Ȉ ˄ ˇ !˄ ˄ ˝ ˚ ˛ ˝ ˇ ) ~ # ˝ ˛ & ˇȈˇ~ ˝ Ȉ ˝ ˙ &˚ ˄ 7+' ˄ ˝ Ȉ ˄ ˙ ˝ Ȉ ˝ ˝ Ȉ 'ˇ !˄ ˝ ˄ ˚ # ˄ ˄ ˝ ˛ ˝ ˝ ˄ ˄ ˝ ˇ

2

Download This Document →

Back to Overview