Search results

Fix CI?

Status: Open.

#86 In formalsec/explode-js;

· filipeom opened on Aug 18, 2025

Adapt runner to use the new benchmark datasets

Status: Open.

#79 In formalsec/explode-js;

· filipeom opened on Aug 8, 2025

Rewrite the runner in rust

Status: Open.

#78 In formalsec/explode-js;

· filipeom opened on Jul 31, 2025

Compilation failure of 'extunix.0.4.3'

Status: Open.

#75 In formalsec/explode-js;

· cstimkong opened on Jul 24, 2025

A question regarding the installation of the ECMA-SL dependency

Status: Open.

#71 In formalsec/explode-js;

· ShiyuBanzhou opened on Jul 23, 2025

Run explode-js on the current list of packages to find more sinks

Status: Open.

#67 In formalsec/explode-js;

· filipeom opened on Jul 19, 2025

Automatically generate the smt2 query for sinks and path conditions

Status: Open.

#65 In formalsec/explode-js;

· filipeom opened on Jul 5, 2025

Improve package mode

type: feature

Status: Open.

#64 In formalsec/explode-js;

· filipeom opened on Jul 5, 2025

Cvc5 bindings are not working atm

type: bug

Status: Open.

#63 In formalsec/explode-js;

· filipeom opened on Jul 5, 2025

Track identified CVEs

Status: Open.

#54 In formalsec/explode-js;

· filipeom opened on Apr 22, 2025

Improve logging

type: chore

Status: Open.

#28 In formalsec/explode-js;

· filipeom opened on Dec 17, 2024

Lazy values fail when used in some unexpected operations

type: bug

type: discussion

Status: Open.

#21 In formalsec/explode-js;

· filipeom opened on Nov 12, 2024