[ 
https://issues.apache.org/jira/browse/LUCENE-8075?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16282310#comment-16282310
 ] 

ASF GitHub Bot commented on LUCENE-8075:
----------------------------------------

Github user imgpulak commented on a diff in the pull request:

    https://github.com/apache/lucene-solr/pull/286#discussion_r155607967
  
    --- Diff: 
lucene/core/src/java/org/apache/lucene/codecs/blocktree/IntersectTermsEnum.java 
---
    @@ -106,37 +106,37 @@ public IntersectTermsEnum(FieldReader fr, Automaton 
automaton, RunAutomaton runA
         if (fr.index == null) {
           fstReader = null;
    --- End diff --
    
    @jpountz Any update here?


> 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
>              Labels: easyfix
>   Original Estimate: 10m
>  Remaining Estimate: 10m
>
> Possible null pointer dereference in 
> core/src/java/org/apache/lucene/codecs/blocktree/IntersectTermsEnum.java.
> at line 119. The fr.index may be NULL. This result is based on static 
> analysis tools and the details are shown below:
> *
> {code:java}
> 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.
> {code}
> *
> It is not sure if fr.index can be NULL in runtime.
> We think it is reasonable to fix it by a test if fr.index is NULL and an 
> error handling.
> --------------
> Please Refer to "Trusted Operating System and System Assurance Working Group, 
> TCA, Institute of Software, Chinese Academy of Sciences" in the 
> acknowledgement if applicable.



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

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

Reply via email to