| Kind |
Annotation Text |
| pre | (soft) com/dmdirc/Main.controller != null |
| pre | (soft) init'ed(com/dmdirc/Main.configdir) |
| presumption | init'ed(java.io.File.separator) |
| post | com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)} |
| post | init'ed(com/dmdirc/Main.configdir) |
| post | java.lang.StringBuilder:toString(...)._tainted == 0 |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:add |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:pack |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:setIconImage |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:setLayout |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:setLocationRelativeTo |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:setResizable |
| unanalyzed | call on com.dmdirc.addons.addonbrowser. BrowserWindow:setVisible |
| unanalyzed | call on com.dmdirc.addons.ui_swing.MainFrame:getIco n |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker |
| unanalyzed | call on com.dmdirc.ui.interfaces.UIController:getMa inWindow |
| unanalyzed | call on com.dmdirc.util.ConfigFile |
| unanalyzed | call on com.dmdirc.util.ConfigFile:getKeyDomains |
| unanalyzed | call on com.dmdirc.util.ConfigFile:read |
| unanalyzed | call on com.dmdirc.util.URLBuilder:buildURL |
| unanalyzed | call on java.awt.Image:getScaledInstance |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.System:getProperty |
| unanalyzed | call on java.lang.System:getenv |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on javax.swing.BorderFactory:createTitledBorde r |
| unanalyzed | call on javax.swing.ButtonGroup |
| unanalyzed | call on javax.swing.ButtonGroup:add |
| unanalyzed | call on javax.swing.DefaultListModel |
| unanalyzed | call on javax.swing.DefaultListModel:clear |
| unanalyzed | call on javax.swing.ImageIcon |
| unanalyzed | call on javax.swing.ImageIcon:getImage |
| unanalyzed | call on javax.swing.ImageIcon:setImage |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:addActionListener |
| unanalyzed | call on javax.swing.JDialog |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JList |
| unanalyzed | call on javax.swing.JList:add |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.JList:setCellRenderer |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JPanel:add |
| unanalyzed | call on javax.swing.JPanel:setBorder |
| unanalyzed | call on javax.swing.JRadioButton |
| unanalyzed | call on javax.swing.JRadioButton:addActionListener |
| unanalyzed | call on javax.swing.JScrollBar:setUnitIncrement |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.JScrollPane:getVerticalScrollBa r |
| unanalyzed | call on javax.swing.JTextField |
| unanalyzed | call on javax.swing.JTextField:addActionListener |
| unanalyzed | call on net.miginfocom.swing.MigLayout |