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

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










method JScrollPane access$000(LicensePanel)
prex0 != null
preinit'ed(x0.scrollPane)
postreturn_value == x0.scrollPane
postinit'ed(return_value)










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









  method not available - call not analyzedInfocall on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. about.LicensePanel:setOpaque(bool)











method void initComponents()
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
postthis.scrollPane == &amp;new JScrollPane(initCompone nts#6)
postnew JScrollPane(initComponents#6) num objects == 1
unanalyzedcall on java.io.InputStreamReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
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}









  method not available - call not analyzedInfocall on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )










  method not available - call not analyzedInfocall on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsInputStre ams(String)











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










method void run()
prethis.scrollPane != null
presumptionjavax.swing.JScrollPane:getVerticalScrollBar(... )@129 != null









  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. about.LicensePanel:setLayout(LayoutManager)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. about.LicensePanel:add(Component, Object)











method String readInputStream(InputStream)
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)