[hibernate-issues] [Hibernate-JIRA] Created: (HHH-5747) Properties.getProperty returns null value if the property is not set.

[Suresh Thummalapenta (JIRA)]

Properties.getProperty returns null value if the property is not set. 
----------------------------------------------------------------------

                 Key: HHH-5747
                 URL: http://opensource.atlassian.com/projects/hibernate/browse/HHH-5747
             Project: Hibernate Core
          Issue Type: Bug
          Components: core
    Affects Versions: 3.6.0
            Reporter: Suresh Thummalapenta


We developed a mining-based approach that recovers specifications for APIs of JavaSDK and uses those specifications to detect defects statically. In our study, we found that at various places, return checks are missing in the core component of Hibernate. It would be great if you could analyze and fix those issues.

It would be good to have a null check on "sessionFactoryName", since getProperty() method can return null, if the property Environment.SESSION_FACTORY_NAME is not set.

Class: SettingsFactory.java
Method: buildSettings, Line: 86


-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://opensource.atlassian.com/projects/hibernate/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira