Sitelet https://web.archive.org/web/20251228132912/https://github.com/github/codeql/pull/3619
Skip to content

Conversation

@erik-krogh
Copy link
Contributor

@erik-krogh erik-krogh commented Jun 4, 2020 •

  • Adds a barrier guard based on MembershipCandidate to js/path-injection.
  • Change some comments from BAD to GOOD (path.basename() and path.extname() are safe).
  • Update Consistency.ql to use a new consistency-checking library. (I've used this library to find other inconsistencies).
  • Align comments better with alert location, to allow the consistency-library to do its thing.

The consistency-checking library works such that Consistency.expected should always be empty.
Known issues are marked with [INCONSISTENCY], and the library then asserts the presence of an inconsistency at that location.

TODO:

  • change note
  • tainted-array-steps.js still contain 2 inconsistencies, because js/tainted-path does not include array steps.
  • no performance evaluation planned

@erik-krogh erik-krogh added the JS label Jun 4, 2020
@erik-krogh erik-krogh requested a review from a team as a code owner June 4, 2020 09:12
@asgerf
Copy link
Contributor

asgerf commented Jun 4, 2020

Looks great! Thanks for doing this.

The new library looks great, but I'm also worried about diverging from the other language teams (who actually reached out to try and share theirs). I thought this was already linked to in https://github.com/github/codeql-javascript-team/issues/38 but it turns out I misread the comment from Esben. Sorry about that.

I think it's fine to land this, just mentioning this before we pour more work into it.

@semmle-qlci semmle-qlci merged commit 45ef3ec into github:master Jul 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants