JS: Deprecate Portals and delete tests

This is a super old attempt at model generation, from before MaD even existed. It's obsolete and just have to be removed.
This commit is contained in:
Asger F
2025-09-11 11:05:36 +02:00
parent dacc9e26e9
commit 7a2391f848
23 changed files with 1 additions and 2874 deletions

View File

@@ -11,6 +11,7 @@
*
* The API of this library is not stable yet and may change.
*/
deprecated module;
import javascript

File diff suppressed because it is too large Load Diff

View File

@@ -1,5 +0,0 @@
import javascript
import semmle.javascript.dataflow.Portals
from Portal p, boolean escapes
select p, p.getAnEntryNode(escapes), escapes

File diff suppressed because it is too large Load Diff

View File

@@ -1,5 +0,0 @@
import javascript
import semmle.javascript.dataflow.Portals
from Portal p, boolean isRemote
select p, p.getAnExitNode(isRemote), isRemote

View File

@@ -1,9 +0,0 @@
function Promise(exec) {
this.exec = exec;
}
Promise.prototype.then = function(fulfilled, rejected) {
rejected(null);
};
exports.Promise = Promise;

View File

@@ -1,3 +0,0 @@
{
"name": "bluebird"
}

View File

@@ -1,2 +0,0 @@
var Promise= require('./index').Promise;
var p = new Promise();

View File

@@ -1,10 +0,0 @@
function foo(cb) {
cb(foo);
return foo;
}
foo.f00 = foo;
foo(foo);
foo(foo());
exports.foo = foo;

View File

@@ -1,3 +0,0 @@
{
"name": "cyclic"
}

View File

@@ -1 +0,0 @@
module.exports = (x) => x;

View File

@@ -1,3 +0,0 @@
{
"name": "m1"
}

View File

@@ -1,16 +0,0 @@
export function foo(p) {
console.log(p.x.y);
p.z = "hi";
}
export default class {
constructor(name) {
this.name = name;
}
m(x) {
console.log(x + " " + this.name);
}
static s(y) { return y; }
};

View File

@@ -1,4 +0,0 @@
{
"name": "m2",
"main": "main.js"
}

View File

@@ -1,3 +0,0 @@
var m1 = require("m1");
module.exports = function() { console.log(m1("Hello, world!")); };

View File

@@ -1,8 +0,0 @@
{
"name": "client",
"private": true,
"dependencies": {
"m1": "*",
"m2": "*"
}
}

View File

@@ -1 +0,0 @@
require(".")();

View File

@@ -1,5 +0,0 @@
import { foo } from "m2";
var o = {
y: "?"
};
foo({ x: o });

View File

@@ -1,5 +0,0 @@
import A from "m2";
A.m("hi");
A.s("there");
new A("me").m("hi");
new A("me").s("there");

View File

@@ -1 +0,0 @@
exports.foo = function(x) {};

View File

@@ -1,3 +0,0 @@
{
"name": "m4"
}

View File

@@ -1,6 +0,0 @@
const fs = require("fs"),
base64 = require("base-64/base64.js");
module.exports.readBase64 = function (f) {
return base64.encode(String(fs.readFileSync(f)));
};

View File

@@ -1,6 +0,0 @@
{
"name": "m5",
"dependencies": {
"base-64": "*"
}
}