Running inferTraceBugs on report generated by Infer for Rhino

BugTrace.log

src/org/mozilla/javascript/NativeCallSite.java:132: error: NULL_DEREFERENCE
  object cs last assigned on line 130 could be null and is dereferenced at line 132
Showing all 6 steps of the trace


src/org/mozilla/javascript/NativeCallSite.java:122: start of procedure js_toString(...)
120.       }
121.   
122. >     private Object js_toString(Scriptable obj)
123.       {
124.           while(obj != null && !(obj instanceof NativeCallSite)) {
125.   

src/org/mozilla/javascript/NativeCallSite.java:124: Taking false branch
122.       private Object js_toString(Scriptable obj)
123.       {
124. >         while(obj != null && !(obj instanceof NativeCallSite)) {
125.               obj = obj.getPrototype();
126.           }
127.   

src/org/mozilla/javascript/NativeCallSite.java:127: Taking true branch
125.               obj = obj.getPrototype();
126.           }
127. >         if (obj == null) {
128.               return NOT_FOUND;
129.           }
130.   

src/org/mozilla/javascript/NativeCallSite.java:130: 
128.               return NOT_FOUND;
129.           }
130. >         NativeCallSite cs = (NativeCallSite)obj;
131.           StringBuilder sb = new StringBuilder();
132.           cs.element.renderJavaStyle(sb);
133.   

src/org/mozilla/javascript/NativeCallSite.java:131: 
129.           }
130.           NativeCallSite cs = (NativeCallSite)obj;
131. >         StringBuilder sb = new StringBuilder();
132.           cs.element.renderJavaStyle(sb);
133.           return sb.toString();
134.   

src/org/mozilla/javascript/NativeCallSite.java:132: 
130.           NativeCallSite cs = (NativeCallSite)obj;
131.           StringBuilder sb = new StringBuilder();
132. >         cs.element.renderJavaStyle(sb);
133.           return sb.toString();
134.       }
135.