Carlos Hoppen

67 papers A* 2A 1B 1C 5Journal 56Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Discret. Math.
Cristina G. Fernandes, Carlos Hoppen, George Kontogeorgiou, Guilherme Oliveira Mota, Danni Peng
2025 J jnl
Comput. Appl. Math.
Luiz Emilio Allem, Carlos Hoppen, Lucas Siviero Sibemberg
2025 J jnl
Theor. Comput. Sci.
Martin Fürer, Carlos Hoppen, Vilmar Trevisan
2025 A conf
ESA
Martin Fürer, Carlos Hoppen, Vilmar Trevisan
2025 J jnl
CoRR
Luiz Emilio Allem, Konstantin Avrachenkov, Carlos Hoppen, Hariprasad Manjunath, Lucas Siviero Sibemberg
2024 J jnl
Discret. Math.
Carlos Hoppen, Hanno Lefmann, Dionatan Ricardo Schmidt
2023 J jnl
Discret. Appl. Math.
Josefran de Oliveira Bastos, Carlos Hoppen, Hanno Lefmann, Andy Oertel, Dionatan Ricardo Schmidt
2023 J jnl
Random Struct. Algorithms
Fabrício Siqueira Benevides, Carlos Hoppen, Hanno Lefmann, Knut Odermann
2022 J jnl
Discret. Math.
Fábio Botler, Carlos Hoppen, Guilherme Oliveira Mota
2022 J jnl
Discret. Appl. Math.
Carlos Hoppen, Giovane Mansan
2021 J jnl
Discret. Math.
Carlos Hoppen, Hanno Lefmann, Denilson Nolibos
2021 J jnl
Discret. Math.
Carlos Hoppen, Giovane Mansan
2021 C conf
LAGOS
Fábio Botler, Carlos Hoppen, Guilherme Oliveira Mota
2021 J jnl
CoRR
Fábio Botler, Carlos Hoppen, Guilherme Oliveira Mota
2021 J jnl
CoRR
Martin Fürer, Carlos Hoppen, Vilmar Trevisan
2021 C conf
LAGOS
Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt
2021 J jnl
SIAM J. Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2021 J jnl
SIAM J. Discret. Math.
Lucas de Oliveira Contiero, Carlos Hoppen, Hanno Lefmann, Knut Odermann
2021 J jnl
J. Graph Theory
Lucas de Oliveira Contiero, Carlos Hoppen, Hanno Lefmann, Knut Odermann
2020 J jnl
CoRR
Luiz Emilio Allem, Carlos Hoppen, Matheus Micadei Marzo, Lucas Siviero Sibemberg
2020 A* conf
ICALP
Martin Fürer, Carlos Hoppen, Vilmar Trevisan
2020 J jnl
Comb. Probab. Comput.
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2019 C conf
LAGOS
Carlos Hoppen, Guilherme Oliveira Mota, Roberto F. Parente, Cristiane M. Sato
2019 J jnl
CoRR
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2019 J jnl
SIAM J. Discret. Math.
Carlos Hoppen, Roberto F. Parente, Cristiane M. Sato
2019 C conf
LAGOS
Carlos Hoppen, Hanno Lefmann
2019 J jnl
SIAM J. Discret. Math.
Lucas de Oliveira Contiero, Carlos Hoppen, Hanno Lefmann, Knut Odermann
2019 C conf
LAGOS
Carlos Hoppen, Giovane Mansan
2018 J jnl
J. Graph Theory
Carlos Hoppen, Hanno Lefmann, Knut Odermann, Juliana Sanches
2018 J jnl
Discret. Appl. Math.
Ricardo Cordeiro Corrêa, Carlos Hoppen, Rudini Menezes Sampaio
2018 J jnl
Comb.
Carlos Hoppen, Nicholas C. Wormald
2018 B conf
LATIN
Martin Fürer, Carlos Hoppen, David Pokrass Jacobs, Vilmar Trevisan
2017 J jnl
SIAM J. Discret. Math.
Carlos Hoppen, Hanno Lefmann, Knut Odermann
2017 J jnl
Inf. Process. Lett.
Luiz Emilio Allem, Carlos Hoppen
2017 J jnl
Eur. J. Comb.
Roman Glebov, Carlos Hoppen, Tereza Klimosová, Yoshiharu Kohayakawa, Daniel Král', Hong Liu
2017 J jnl
Discret. Math.
Fabrício Benevides, Carlos Hoppen, Rudini M. Sampaio
2017 J jnl
CoRR
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2017 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2017 J jnl
Eur. J. Comb.
Carlos Hoppen, Hanno Lefmann, Knut Odermann
2017 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Roberto F. Parente, Cristiane M. Sato
2017 J jnl
Electron. Notes Discret. Math.
Lucas de Oliveira Contiero, Carlos Hoppen, Hanno Lefmann, Knut Odermann
2016 J jnl
Discret. Math.
Carlos Hoppen, Hanno Lefmann, Knut Odermann
2016 conf
APPROX-RANDOM
Carlos Hoppen, Yoshiharu Kohayakawa, Richard Lang, Hanno Lefmann, Henrique Stagni
2016 J jnl
CoRR
Carlos Hoppen, Roberto F. Parente, Cristiane M. Sato
2016 J jnl
J. Comb. Theory B
Carlos Hoppen, Nicholas C. Wormald
2015 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Hanno Lefmann, Knut Odermann
2015 J jnl
Eur. J. Comb.
Carlos Hoppen, Hanno Lefmann
2015 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Hanno Lefmann, Knut Odermann, Juliana Sanches
2015 J jnl
Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2014 J jnl
Eur. J. Comb.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2014 J jnl
CoRR
Roman Glebov, Carlos Hoppen, Tereza Klimosová, Yoshiharu Kohayakawa, Daniel Král, Hong Liu
2013 conf
Information Theory, Combinatorics, and Search Theory
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2013 J jnl
J. Comb. Theory B
Carlos Hoppen, Yoshiharu Kohayakawa, Carlos Gustavo T. de A. Moreira, Balázs Ráth, Rudini Menezes Sampaio
2013 J jnl
CoRR
Eliseu Fritscher, Carlos Hoppen, Vilmar Trevisan
2012 J jnl
Discret. Appl. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Rudini Menezes Sampaio
2012 J jnl
Comb. Probab. Comput.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2012 J jnl
Eur. J. Comb.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2011 J jnl
Theor. Comput. Sci.
Carlos Hoppen, Virginia M. Rodrigues, Vilmar Trevisan
2011 J jnl
Electron. Notes Discret. Math.
Ricardo C. Corrêa, Carlos Hoppen, Yoshiharu Kohayakawa, Rudini Menezes Sampaio
2011 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2011 J jnl
Electron. Notes Discret. Math.
Antônio J. O. Bastos, Carlos Hoppen, Yoshiharu Kohayakawa, Rudini Menezes Sampaio
2011 J jnl
J. Graph Theory
Itai Benjamini, Carlos Hoppen, Eran Ofek, Pawel Pralat, Nicholas C. Wormald
2011 J jnl
Theor. Comput. Sci.
Carlos Hoppen, Yoshiharu Kohayakawa, Carlos Gustavo T. de A. Moreira, Rudini Menezes Sampaio
2010 A* conf
SODA
Carlos Hoppen, Yoshiharu Kohayakawa, Carlos Gustavo T. de A. Moreira, Rudini Menezes Sampaio
2009 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Rudini Menezes Sampaio
2009 J jnl
Electron. Notes Discret. Math.
Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann
2008 J jnl
Comb. Probab. Comput.
Carlos Hoppen, Nicholas C. Wormald
redb/extractors/js_extractors/scripts/js-xray-runner.js
← Index redb/extractors/js_extractors/scripts/js-xray-runner.js javascript
#!/usr/bin/env node
// Bridge between the Python JS pipeline and @nodesecure/js-x-ray.
//
// Usage: node js-xray-runner.js <path-to-js-file>
//   stdout  one JSON object: {"obfuscator": <name|null>, "warnings": [...]}
//   stderr  human-readable error on failure
//   exit 0  analysis ran (the file may still be benign — see "obfuscator")
//   exit 1  the file could not be read or analysed
//
// Each warning is emitted as {kind, value} so the Python side can tag
// supporting signals (encoded-literal, short-identifiers, suspicious-literal,
// unsafe-stmt) without having to mirror js-x-ray's whole schema.
//
// js-x-ray ≥7 ships as an ES module, which CommonJS `require()` cannot load
// from a `.js` script — the dynamic `import()` below is what makes the
// bridge work without renaming the file to `.mjs` or adding `"type":
// "module"` to package.json (which would break tools that still
// `require()` from this directory).

const fs = require("fs");
const path = require("path");

function fail(msg) {
  process.stderr.write(msg + "\n");
  process.exit(1);
}

async function main() {
  const target = process.argv[2];
  if (!target) fail("usage: js-xray-runner.js <file>");

  let source;
  try {
    source = fs.readFileSync(target, "utf8");
  } catch (e) {
    fail(`read failed: ${e.message}`);
  }

  // The legacy `runASTAnalysis` function is deprecated (removed in v8); the
  // current API is the `AstAnalyser` class. Both produce a result with the
  // same `warnings` shape, so the rest of the bridge is unchanged.
  let AstAnalyser;
  try {
    ({ AstAnalyser } = await import("@nodesecure/js-x-ray"));
  } catch (e) {
    fail(`@nodesecure/js-x-ray not installed (run \`npm install\` in ${path.dirname(__filename)}): ${e.message}`);
  }

  // js-x-ray defaults to module-mode parsing, which rejects scripts that
  // (legally) use reserved words as identifiers, top-level `return`, etc.
  // A lot of real-world JS malware is script-style (WScript/HTA bodies,
  // pasted snippets) — retrying in script mode catches those without
  // pulling in a more lenient parser. Both attempts share the same
  // analyser; only the parse mode flips. If both fail, the original error
  // (module-mode) is reported because that's the more informative one for
  // genuinely broken sources.
  let result;
  const analyser = new AstAnalyser();
  let firstErr;
  try {
    result = await analyser.analyse(source, { module: true });
  } catch (e) {
    firstErr = e;
    try {
      result = await analyser.analyse(source, { module: false });
    } catch (e2) {
      fail(`js-x-ray analysis failed: ${firstErr.message}`);
    }
  }

  const warnings = (result.warnings || []).map((w) => ({
    kind: w.kind,
    value: w.value !== undefined ? w.value : null,
  }));

  // js-x-ray flags the obfuscator family in a warning whose kind is
  // "obfuscated-code" and whose value names the family (jsfuck, obfuscator.io,
  // freejsobfuscator, morse, jjencode, ...). Absent => not detected.
  const obfWarning = warnings.find((w) => w.kind === "obfuscated-code");
  const obfuscator = obfWarning ? obfWarning.value : null;

  // js-x-ray runs its own AST internally with a modern parser, so its
  // identifier-length average is the only path the Python pipeline has to
  // that signal on ES2015+ sources — pyjsparser is ES5.1-only and silently
  // drops to 0 the moment it hits destructuring, classes, optional chaining,
  // etc. Surfacing this lets the heuristic's `avg_identifier_length<2`
  // strong signal fire on real obfuscator.io output. `null` when the value
  // is missing or non-numeric (defensive — older js-x-ray builds may differ).
  const idsLengthAvg =
    typeof result.idsLengthAvg === "number" && !Number.isNaN(result.idsLengthAvg)
      ? result.idsLengthAvg
      : null;

  process.stdout.write(JSON.stringify({ obfuscator, warnings, idsLengthAvg }));
}

main().catch((e) => fail(e.message || String(e)));