Skip to content

Conversation

@xiemaisi
Copy link

@xiemaisi xiemaisi commented Mar 4, 2019

Replacement for #1031.

taus-semmle and others added 30 commits February 4, 2019 19:05
…t ICryptoTransform that would be thread-unsafe, and potentially result in incorrect cryptographic results.
This new query is not written because it's the most interesting query we
could write but because it's an IR-based query whose results are easy to
verify.
This suite isn't referenced from anywhere yet, but it'll be included in
a standard ODASA dist because the dist includes all files in the `c` and
`cpp` directories. We can modify the nightly test jobs to include the
experimental suite.
semmle-qlci and others added 17 commits March 1, 2019 08:20
JS: Treat res.end() as alias for res.send() in Express
…ry-and-type-inference-1

JS: Captured Nodes, type inference + a query
…oTransform

Detect usage of ICryptoTransform that would be thread-unsafe
…-with-flow

Python: Make "Modification of parameter with default" flow-sensitive.
…-guard

Python: Add taint tracking guard for truthiness.
This query is only appropriate for setuid programs. Since such programs
are at most 0.1% of all code we analyse, I would say this query has a
precision of at most 0.1%.
C++: Set cpp/command-line-injection precision=low
@xiemaisi xiemaisi requested review from a team as code owners March 4, 2019 13:12
@xiemaisi
Copy link
Author

xiemaisi commented Mar 4, 2019

Python, C# and C++ changes were already approved on the previous PR, JavaScript changes lgtm as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.