thebesttv/Static-Bug-Detectors-ASE-Docker thebesttv/Static-Bug-Detectors-ASE-Docker

  • Stars
    star
    1
  • Language
    Shell
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thebesttv/Static-Bug-Detectors-ASE-Docker
github

thebesttv

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Build a Docker image for the initial environment of the artifacts of paper "On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions"

More Repositories

1

thebesttv.github.io.old

thebesttv's Blog
HTML
2
star
2

blog

blog, of EServer
Verilog
2
star
3

eserver-static

EServer, but static
HTML
1
star
4

pastebin

very simple pastebin, of EServer
Emacs Lisp
1
star
5

weibo

ๅพฎๅš็ƒญๆœ็ปŸ่ฎก, of EServer
Emacs Lisp
1
star
6

thebesttv.github.io

HTML
1
star
7

firefly

Firefly simulator. Inspired by https://ncase.me/fireflies/
C++
1
star
8

eserver

Emacs Lisp
1
star
9

thebesttv-s-FreeNOS

C++
1
star
10

winter-programming

C
1
star
11

ex-action

Playing with GitHub Actions
1
star
12

coil

็”Ÿๆˆ่šŠ็ƒŸ้ฆ™ๅ›พ
Jupyter Notebook
1
star
13

PonyOCR

A simple & portable OCR tool (work in progress)
C++
1
star
14

00.ACM

personal backup
C++
1
star
15

elisp-ascii-arts

ASCII arts written in ELisp
Emacs Lisp
1
star
16

nikon-p950

ๅฐผๅบทP950 ่ง†้ข‘ๅŽ‹็ผฉ่„šๆœฌ
Python
1
star
17

slide

slide, of eserver
HTML
1
star
18

Dissection-Font

Displays dissection font on Longan
C
1
star
19

functional-geometry

Scheme implementation of functional geometry using guile-cairo.
Scheme
1
star