Skip to content

JS: Some preliminary fixes from name resolution branch #19192

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
asgerf merged 6 commits into from
Apr 3, 2025
Merged

JS: Some preliminary fixes from name resolution branch #19192

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
48db2b9
JS: Add test
asgerf Apr 2, 2025
46f88e7
JS: Updates to DOM model
asgerf Apr 2, 2025
78b2538
JS: Protect against bad join in BadRandomness
asgerf Apr 2, 2025
30a9cd7
JS: Include document as a DOM value
asgerf Apr 2, 2025
2c40359
JS: Change note
asgerf Apr 2, 2025
6c3bc94
Merge branch 'main' into js/name-resolution-independent-fixes
asgerf Apr 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 14 additions & 18 deletions javascript/ql/src/Security/CWE-327/BadRandomness.ql
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,30 +30,26 @@ private int powerOfTwo() {
* Gets a node that has value 2^n for some n.
*/
private DataFlow::Node isPowerOfTwo() {
exists(DataFlow::Node prev |
prev.getIntValue() = powerOfTwo()
or
// Getting around the 32 bit ints in QL. These are some hex values of the form 0x10000000
prev.asExpr().(NumberLiteral).getValue() =
["281474976710656", "17592186044416", "1099511627776", "68719476736", "4294967296"]
|
result = prev.getASuccessor*()
)
result.getIntValue() = powerOfTwo()
or
// Getting around the 32 bit ints in QL. These are some hex values of the form 0x10000000
result.asExpr().(NumberLiteral).getValue() =
["281474976710656", "17592186044416", "1099511627776", "68719476736", "4294967296"]
or
Comment on lines +35 to +38
Copy link
Copy Markdown
Contributor

@erik-krogh erik-krogh Apr 2, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think I remember something about bigint in CodeQL? Has that shipped yet?

Copy link
Copy Markdown
Contributor Author

@asgerf asgerf Apr 3, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, string.toBigInt() is a thing now. But I'd rather leave it for another PR

result = isPowerOfTwo().getASuccessor()
}

/**
* Gets a node that has value (2^n)-1 for some n.
*/
private DataFlow::Node isPowerOfTwoMinusOne() {
exists(DataFlow::Node prev |
prev.getIntValue() = powerOfTwo() - 1
or
// Getting around the 32 bit ints in QL. These are some hex values of the form 0xfffffff
prev.asExpr().(NumberLiteral).getValue() =
["281474976710655", "17592186044415", "1099511627775", "68719476735", "4294967295"]
|
result = prev.getASuccessor*()
)
result.getIntValue() = powerOfTwo() - 1
or
// Getting around the 32 bit ints in QL. These are some hex values of the form 0xfffffff
result.asExpr().(NumberLiteral).getValue() =
["281474976710655", "17592186044415", "1099511627775", "68719476735", "4294967295"]
or
result = isPowerOfTwoMinusOne().getASuccessor()
}

/**
Expand Down