formalsec explode-js issues

formalsec / explode-js

Public mirror for Explode.js

MIT License

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add case studies

#22 filipeom closed 2 weeks ago
0
Example lazy values fail

#21 filipeom opened 2 weeks ago
0
Create a functor for dataframe parsing

#20 filipeom opened 2 weeks ago
0
Lazy values example candidates

#19 filipeom opened 3 weeks ago
1
Add histogram with sampled reasons unknown for RQ1

#18 filipeom closed 3 weeks ago
0
Fix tables

#17 filipeom closed 3 weeks ago
0
Add running example to documentation

#16 filipeom opened 2 months ago
1
Add runner submodule

#9 filipeom closed 2 months ago
0
Update `ecma-sl` to track main

#8 filipeom opened 2 months ago
1
Instrumentation, consider using `const` declarations instead of `var`

#7 filipeom opened 2 months ago
0
Use var instead of let (Closes #5)

#6 filipeom closed 2 months ago
0
Upgrade versions of `ecma-sl` and `smtml`

#1 filipeom opened 2 months ago
0
RQ2: Compare with Nodemedic

#10 filipeom closed 1 month ago
0
RQ5: Performance?

#11 filipeom closed 2 weeks ago
0
RQ3: Effectiveness of (Lazy Objects | VIP | Path prunning)

#12 filipeom closed 2 weeks ago
0
Repeat RQ4: Zero-day Vulnerabilities

#13 filipeom closed 2 weeks ago
0
Repeat RQ2: False Negatives

#15 filipeom closed 2 weeks ago
0
Repeat RQ1: Symbolic Test Generation

#14 filipeom closed 2 weeks ago
0
Use `var` instead of `let` in symbolic and literal tests

#5 filipeom closed 2 months ago
0
Literal tests generate functions with extra semi-colons

#4 filipeom opened 3 months ago
0
TopLevel vuln

#2 filipeom opened 9 months ago
0
Taint summary requires "source_lineno" and "sink_lineno"

#3 mafsbaptista opened 10 months ago
4