GitHub · Where software is built

This repository was archived by the owner on Nov 19, 2024. It is now read-only.

Labels Milestones

'minified' assembly sometimes does not include call to foo

#68

· Quarub opened

on Jan 16, 2023

How to use Docker to setup?

#50

· CodingTreeHole opened

on Nov 10, 2022

marker functions break data flow analysis

#30

· xukl opened

on Jun 14, 2022

Replace reducer.py with diopter.reducer

#28

· thetheodor opened

on May 30, 2022

·

Use diopter in dead

Replace checker.sanitize with diopter.sanitize

#27

· thetheodor opened

on May 30, 2022

·

Use diopter in dead

Replace generator.py with diopter.generator

#26

· thetheodor opened

on May 30, 2022

·

Use diopter in dead

Use diopter in dead

#22

· Quarub opened

on May 25, 2022

·

Use diopter in dead

Use the static annotator after finishing a reduction

#8

· thetheodor opened

on Feb 23, 2022

<code>tofile</code> does not export all entries

#4

· thetheodor opened

on Feb 23, 2022

Sort reported and unreported cases by commit date

#3

· thetheodor opened

on Feb 23, 2022