notisExcluded(comment, SyntaxPackage::characterSequencesAndUsedWithinACommentQuery())and

comment.getContents().indexOf(illegalSequence)>0

comment.getContents().indexOf(illegalSequence)>1

exists(IllegalCCommentRegexpc|illegalSequence=c.getDescription()|

| test.c:21:1:21:7 | // /* | Comment contains an illegal sequence '/*' |

| test.c:30:1:30:27 | /* https://github.com // */ | Comment contains an illegal sequence '//' |

| test.c:33:1:33:60 | /* a://b, a://b., ://a.b, a://b., a://.b, ://, a://, ://b */ | Comment contains an illegal sequence '//' |

| test.c:42:1:42:8 | ///* foo | Comment contains an illegal sequence '/*' |

voidf(){}

-`RULE-13-2` -`UnsequencedAtomicReads.ql`

- New query to find expressions which read an atomic variable more than once between sequence points, to address new case from MISRA-C 2012 Amendment 4.

-`RULE-3-1` -`CharacterSequencesAndUsedWithinAComment.ql`

- Add exception allowing URLs inside of cpp-style`/* ... */` comments, in compliance with MISRA-C 2012 Amendment 4

- Add exception allowing URLs inside of cpp-style`/* ... */` comments, in compliance with MISRA-C 2012 Amendment 4.

- No longer report cases of`//*some comment` in this rule.