You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@lucene.apache.org by "Xiaoshan Sun (JIRA)" <ji...@apache.org> on 2017/12/03 09:07:00 UTC

[jira] [Created] (LUCENE-8075) Possible null pointer dereference in core/src/java/org/apache/lucene/codecs/blocktree/IntersectTermsEnum.java

Xiaoshan Sun created LUCENE-8075:
------------------------------------

             Summary: Possible null pointer dereference in core/src/java/org/apache/lucene/codecs/blocktree/IntersectTermsEnum.java
                 Key: LUCENE-8075
                 URL: https://issues.apache.org/jira/browse/LUCENE-8075
             Project: Lucene - Core
          Issue Type: Bug
          Components: core/codecs
    Affects Versions: 7.1
            Reporter: Xiaoshan Sun


Possible null pointer dereference in core/src/java/org/apache/lucene/codecs/blocktree/IntersectTermsEnum.java.

This result is based on static analysis tools and the proofs are:
*
106: if (fr.index == null) {
107:      fstReader = null;  // fr.index is Known NULL here.
    } else {
      fstReader = fr.index.getBytesReader();
    }

    // TODO: if the automaton is "smallish" we really
    // should use the terms index to seek at least to
    // the initial term and likely to subsequent terms
    // (or, maybe just fallback to ATE for such cases).
    // Else the seek cost of loading the frames will be
    // too costly.

119:    final FST.Arc<BytesRef> arc = fr.index.getFirstArc(arcs[0]); 
//  fr.index is dereferenced here and fr.index can be NULL if 107 is arrived.
*

We think it is reasonable to fix it by a test if fr.index is NULL and an error handling.



--
This message was sent by Atlassian JIRA
(v6.4.14#64029)

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@lucene.apache.org
For additional commands, e-mail: dev-help@lucene.apache.org