{"id":567,"date":"2016-06-02T16:09:43","date_gmt":"2016-06-02T14:09:43","guid":{"rendered":"http:\/\/wp.gti-muenchen.de\/?p=567"},"modified":"2016-07-13T17:23:15","modified_gmt":"2016-07-13T15:23:15","slug":"polyspace","status":"publish","type":"post","link":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/","title":{"rendered":"Polyspace"},"content":{"rendered":"<p>ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &#8222;The MathWorks&#8220;.<!--more--><\/p>\n<p>Zur Interpretation des Programmcode wird eine Abstraktion verwendet.\u00a0 Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. <em>Division by Zero<\/em> oder <em>Array Access out of Bounds<\/em> zu finden.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &#8222;The MathWorks&#8220;.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_mi_skip_tracking":false},"categories":[9,5],"tags":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567"}],"collection":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/comments?post=567"}],"version-history":[{"count":10,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567\/revisions"}],"predecessor-version":[{"id":895,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567\/revisions\/895"}],"wp:attachment":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/media?parent=567"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/categories?post=567"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/tags?post=567"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}