diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l index 427c189..1331c04 100644 --- a/checkpolicy/policy_scan.l +++ b/checkpolicy/policy_scan.l @@ -219,10 +219,11 @@ PERMISSIVE { return(PERMISSIVE); } {letter}({alnum}|[_\-])*([\.]?({alnum}|[_\-]))* { return(IDENTIFIER); } {digit}+|0x{hexval}+ { return(NUMBER); } {alnum}* { return(FILENAME); } +\.({alnum}|[_\.\-])* { return(FILENAME); } {digit}{1,3}(\.{digit}{1,3}){3} { return(IPV4_ADDR); } {hexval}{0,4}":"{hexval}{0,4}":"({hexval}|[:.])* { return(IPV6_ADDR); } {digit}+(\.({alnum}|[_.])*)? { return(VERSION_IDENTIFIER); } -{alnum}+([_\.]|{alnum})+ { return(FILENAME); } +{letter}+([-_\.]|{alnum})+ { return(FILENAME); } ([_\.]){alnum}+ { return(FILENAME); } #line[ ]1[ ]\"[^\n]*\" { set_source_file(yytext+9); } #line[ ]{digit}+ { source_lineno = atoi(yytext+6)-1; }