LicensePanel.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JScrollPane access$000(LicensePanel)

    • Kind Annotation Text
    preinit'ed(x0.scrollPane)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.scrollPane

  • void com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel$1(LicensePanel)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel()

    • Kind Annotation Text
    postnew JScrollPane(initComponents#6) num objects == 1
    postthis.scrollPane == &new JScrollPane(initCompone nts#6)
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setLayout
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsInputStre ams
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.io.BufferedReader
    unanalyzedcall on java.io.BufferedReader:readLine
    unanalyzedcall on java.io.InputStreamReader
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.TreeMap
    unanalyzedcall on javax.swing.JEditorPane
    unanalyzedcall on javax.swing.JEditorPane:getDocument
    unanalyzedcall on javax.swing.JEditorPane:setEditable
    unanalyzedcall on javax.swing.JEditorPane:setEditorKit
    unanalyzedcall on javax.swing.JEditorPane:setText
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel__static_init

    • Kind Annotation Text

  • void initComponents()

    • Kind Annotation Text
    presumptionjava.lang.String:lastIndexOf(...)@105 <= 232-2
    presumptionjava.lang.String:lastIndexOf(...)@94 <= 232-2
    presumptionjava.util.Iterator:next(...)@104 != null
    presumptionjava.util.Iterator:next(...)@93 != null
    presumptionjava.util.Map:entrySet(...)@104 != null
    presumptionjava.util.Map:entrySet(...)@93 != null
    presumptionjava.util.Map_Entry:getKey(...)@105 != null
    presumptionjava.util.Map_Entry:getKey(...)@94 != null
    presumptionjavax.swing.JEditorPane:getDocument(...)@77 != null
    presumptionjavax.swing.UIManager:getFont(...)@76 != null
    presumptionjavax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@77 != null
    postnew JScrollPane(initComponents#6) num objects == 1
    postthis.scrollPane == &amp;new JScrollPane(initCompone nts#6)
    unanalyzedcall on java.io.BufferedReader
    unanalyzedcall on java.io.BufferedReader:readLine
    unanalyzedcall on java.io.InputStreamReader
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    test_vectorcom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@72: Inverse{null}, Addr_Set{null}
    test_vectorjava.lang.String:length(...)@108: {0,1}, {2..232-1}
    test_vectorjava.lang.String:length(...)@97: {0,1}, {2..232-1}
    test_vectorjava.util.Iterator:hasNext(...)@104: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@93: {0}, {1}

  • String readInputStream(InputStream)

    • Kind Annotation Text
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)

  • void run()

    • Kind Annotation Text
    prethis.scrollPane != null
    presumptionjavax.swing.JScrollPane:getVerticalScrollBar(... )@129 != null