МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Исаев Д.С..pdf (480.60Кб)

1.       The RAII Programming Idiom. Available at:http://www.hackcraft.net/raii/, accessed 02.12.2014.

2.       Specifying Attributes of Variables. Available at:http://gcc.gnu.org/onlinedocs/gcc/Variable-Attributes.html, accessed 02.12.2014.

3.       Extensions to the C Language Family. Available at:http://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html, accessed 02.12.2014.

4.       Mozilla Firefox Bugs Tracker. Available at:https://bugzilla.mozilla.org/buglist.cgi?short_desc=leak&resolution=---&query_format=advanced&short_desc_type=allwordssubstr&product=Firefox, accessed 02.12.2014.

5.       Ernst M. Static and dynamic analysis: synergy and duality. MIT Lab for Computer Science, 2003. Available at:https://homes.cs.washington.edu/~mernst/pubs/staticdynamic-woda2003.ps, accessed 02.12.2014.

6.       Torlak E., Chandra S. Effective Interprocedural Resource Leak Detection. Available at:http://homes.cs.washington.edu/~emina/talks/tracker.icse10.slides.pdf, accessed 02.12.2014.

7.       Compilers and  Translators: Software Verification Tools. Available at:http://dragonbook.stanford.edu/lecture-notes/Columbia-COMS-W4117/07-10-16.html, accessed 02.12.2014.

8.       Data-flow analysis. Available at: http://en.wikipedia.org/wiki/Data-flow_analysis, accessed 02.12.2014.

9.       Das M., Lerner S., Seigle M. ESP: Path-Sensitive Program Verification in Polynomial Time. Available at:http://www.cs.cornell.edu/courses/cs711/2005fa/papers/dls-pldi02.pdf, accessed 02.12.2014.

10.   Precise and Scalable Software Analysis. Available at:http://saturn.stanford.edu/, accessed 02.12.2014.

11.   Control flow graph. Available at:http://en.wikipedia.org/wiki/Control_flow_graph, accessed 02.12.2014.

12.   Abstract Syntax Tree. Available at:http://en.wikipedia.org/wiki/Abstract_syntax_tree, accessed 02.12.2014.

13.   Clang Static Analyzer. Available at:http://clang-analyzer.llvm.org/, accessed 02.12.2014.

14.   Cppcheck. Available at:http://cppcheck.sourceforge.net/, accessed 02.12.2014.

15.   Splint Home Page. Available at:http://www.splint.org/, accessed 02.12.2014.

16.   Xu Z., Kremenek T., Zhang J. A Memory Model for Static Analysis of C Programs. Available at:http://cpl0.net/~argp/papers/44f93d2a09e3d91eca160b387db6cd8c.pdf, accessed 02.12.2014.

17.   The GNU Compiler Collection. Available at:https://gcc.gnu.org, accessed 02.12.2014.