Search results

ACSL, formal verification with Frama-C

Status: Open.

#202 In UpstandingHackers/hammer;

· Tjoppen opened on Apr 25, 2024

Segfault in examples/dns on a malformed DNS packet

Status: Open.

#198 In UpstandingHackers/hammer;

· pictyeye opened on Apr 2, 2021

Fails to build on Mac OS Catalina 10.15.3

Status: Open.

#197 In UpstandingHackers/hammer;

· kpewing opened on Feb 11, 2020

compiler warning: passing argument 2 of 'h_attr_bool' from incompatible pointer type

Status: Open.

#186 In UpstandingHackers/hammer;

· daxim opened on Jul 18, 2017

make it less fugly to use other backends with Python

Status: Open.

#185 In UpstandingHackers/hammer;

· abiggerhammer opened on Jun 27, 2017

GLR backend reaches unreachable code

Status: Open.

#184 In UpstandingHackers/hammer;

· abiggerhammer opened on Jun 27, 2017

Freeing parsers requires a garbage collector

Status: Open.

#183 In UpstandingHackers/hammer;

· thequux opened on May 23, 2017

h_cfgrammar_() leaks memory

Status: Open.

#182 In UpstandingHackers/hammer;

· puellavulnerata opened on Dec 6, 2016

HInputStream should allow a user-supplied read function

Status: Open.

#181 In UpstandingHackers/hammer;

· puellavulnerata opened on Dec 6, 2016

confusion about inclusion of "internal.h"

Status: Open.

#171 In UpstandingHackers/hammer;

· tomime opened on Jul 30, 2016

Completion of error handling

Status: Open.

#168 In UpstandingHackers/hammer;

· elfring opened on May 29, 2016

reserved identifier violation

Status: Open.

#167 In UpstandingHackers/hammer;

· elfring opened on May 29, 2016