hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-08 20:20:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Store JSON locations in json_locations table instead of hasLocation.

Browse Source
This commit is contained in:
Max Schaefer
2019-07-24 11:29:26 +01:00
parent 2df41c43e2
commit 6b3abbbde5
4 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
javascript/extractor/src/com/semmle/js/extractor/JSONExtractor.java
View File

@@ -43,6 +43,7 @@ public class JSONExtractor implements IExtractor {
throw recoverableErrors.get(0).asUserError();
Label fileLabel = locationManager.getFileLabel();
locationManager.setHasLocationTable("json_locations");
v.accept(
new Visitor<Context, Label>() {
private Label emit(JSONValue nd, int kind, Context c) {

2
javascript/extractor/src/com/semmle/js/extractor/Main.java
View File

@@ -37,7 +37,7 @@ public class Main {
* A version identifier that should be updated every time the extractor changes in such a way that
* it may produce different tuples for the same file under the same {@link ExtractorConfig}.
*/
public static final String EXTRACTOR_VERSION = "2019-04-17";
public static final String EXTRACTOR_VERSION = "2019-07-24";
public static final Pattern NEWLINE = Pattern.compile("\n");