Skip to content

Commit a29b9b8

Browse files
jkcsoxcorail
andauthored
Apply suggestions from code review
Co-authored-by: Xavier RENE-CORAIL <xcorail@github.com>
1 parent d1cca5a commit a29b9b8

17 files changed

Lines changed: 16 additions & 17 deletions

File tree

CodeQL_Queries/cpp/Qualcomm-MSM-copy_from_user/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/stack-buffer-overflow-qualcomm-msm/)
1+
[Blog post](https://securitylab.github.com/research/stack-buffer-overflow-qualcomm-msm/)
22

33
[Snapshot for this demo](https://github.com/github/securitylab/releases/download/qualcomm-msm-codeql-database/msm-4.4-revision-2017-May-07--08-33-56.zip)
44

CodeQL_Queries/cpp/XNU_DTrace_CVE-2017-13782/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/apple-xnu-dtrace-CVE-2017-13782/)
1+
[Blog post](https://securitylab.github.com/research/apple-xnu-dtrace-CVE-2017-13782/)
22

33
Bug was fixed in [macOS High Sierra 10.13.1](https://support.apple.com/en-us/HT208221).
44

CodeQL_Queries/cpp/XNU_NFS_Boot_CVE-2018-4136_CVE-2018-4160/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/apple-xnu-nfs-boot/)
1+
[Blog post](https://securitylab.github.com/research/apple-xnu-nfs-boot/)
22

33
Bug was fixed in [macOS High Sierra 10.13.4](https://support.apple.com/en-gb/HT208692).
44

CodeQL_Queries/cpp/XNU_icmp_error_CVE-2018-4407/00_mbuf_copydata_tainted_size.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
/*
1111
* This query is explained in detail in this blog post:
1212
*
13-
* https://github.blog/category/security/apple-xnu-icmp-error-CVE-2018-4407/
13+
* https://securitylab.github.com/research/apple-xnu-icmp-error-CVE-2018-4407/
1414
*
1515
* It is based on the assumption that the function `m_mtod`, which returns
1616
* a pointer to the data stored in an `mbuf`, often returns a buffer

CodeQL_Queries/cpp/XNU_icmp_error_CVE-2018-4407/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22

33
Use [this snapshot](https://github.com/github/securitylab/releases/download/xnu-macos10.13.6-codeql-database/xnu-4570.71.2_macOS-10.13.6_Semmle-1.18.0.zip) for the demo.
44

5-
There are two parts to this demo. The first part is `00_mbuf_copydata_tainted_size.ql`, which is the dataflow query that found the bug. It is explained in detail in [this blog post](https://github.blog/category/security/apple-xnu-icmp-error-CVE-2018-4407/). The problem with this query is that it does not find the true source of the untrusted data. This is because it assumes that any call to the function named `m_mtod` can return untrusted data. But not every `mbuf` contains untrusted data. So the second part of the demo, corresponding to [this blog post](https://github.blog/category/security/apple-xnu-exploit-icmp-poc/), is to use dataflow analysis to find a path that gets an untrusted `mbuf` into `icmp_error`. The second part of the demo is developed in steps, starting with `01_paths_to_icmp_error.ql`.
5+
There are two parts to this demo. The first part is `00_mbuf_copydata_tainted_size.ql`, which is the dataflow query that found the bug. It is explained in detail in [this blog post](https://securitylab.github.com/research/apple-xnu-icmp-error-CVE-2018-4407/). The problem with this query is that it does not find the true source of the untrusted data. This is because it assumes that any call to the function named `m_mtod` can return untrusted data. But not every `mbuf` contains untrusted data. So the second part of the demo, corresponding to [this blog post](https://securitylab.github.com/research/apple-xnu-exploit-icmp-poc/), is to use dataflow analysis to find a path that gets an untrusted `mbuf` into `icmp_error`. The second part of the demo is developed in steps, starting with `01_paths_to_icmp_error.ql`.

CodeQL_Queries/cpp/XNU_packet-mangler_CVE-2018-4249/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
https://github.blog/category/security/CVE-2018-4249-apple-xnu-packet-mangler/
1+
https://securitylab.github.com/research/CVE-2018-4249-apple-xnu-packet-mangler/
22

33
There were multiple bugs in `packet_mangler.c`. One of the infinite loop bugs was fixed in macOS High Sierra 10.13.2. The other bugs were fixed in macOS High Sierra 10.13.5.
44

CodeQL_Queries/cpp/rsyslog_CVE-2018-1000140/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/librelp-buffer-overflow-cve-2018-1000140/).
1+
[Blog post](https://securitylab.github.com/research/librelp-buffer-overflow-cve-2018-1000140/).
22

33
This bug was found by one of [CodeQL](https://codeql.github.com/) default queries. However, it also makes a good example of using QL interactively. The queries in this directory show how you can interactively develop the query.
44

CodeQL_Queries/java/Apache_Struts_CVE-2017-9805/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/apache-struts-vulnerability-cve-2017-9805/)
1+
[Blog post](https://securitylab.github.com/research/apache-struts-vulnerability-cve-2017-9805/)
22

33
[This snapshot](https://github.com/github/securitylab/releases/download/apache-struts-codeql-database/apache-struts-91ae344-CVE-2017-9805.zip) has the bug.
44

CodeQL_Queries/java/Apache_Struts_CVE-2018-11776/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Apache Struts CVE-2018-11776
22

3-
[Blog post](https://github.blog/category/security/apache-struts-CVE-2018-11776/)
3+
[Blog post](https://securitylab.github.com/research/apache-struts-CVE-2018-11776/)
44

55
[This snapshot](https://github.com/github/securitylab/releases/download/apache-struts-CVE-2018-11776-codeql-database/apache-struts-7fd1622-CVE-2018-11776.zip) has the bug.
66

CodeQL_Queries/javascript/Etherpad_CVE-2018-6835/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[Blog post](https://github.blog/category/security/etherpad-reflected-file-download/)
1+
[Blog post](https://securitylab.github.com/research/etherpad-reflected-file-download/)
22

33
[This snapshot](https://github.com/github/securitylab/releases/download/etherpad-vulnerable-codeql-database/Etherpad_1.6.2.zip) has the vulnerability.
44

0 commit comments

Comments
 (0)