Commits

History for

Commits on Oct 2, 2019

ExprEngine: Use smt solver Z3
danmar
committed
7ab22c7

Commits on Sep 21, 2019

Add validateRules target (xmllint) for rules/*.xml
amai2012
committed
16f1d81
Checkmemleakautovar: fix crash and FP (#2196)

rikardfalkeborn
authored and
versat
committed
46ac0d7

Commits on Sep 19, 2019

dmake: Sort header dependencies (#2182)

rikardfalkeborn
authored and
amai2012
committed
518bb51

Commits on Sep 17, 2019

ExprEngine: Add new experimental path-sensitive data flow analysis. Initially used for 'verification' but could possibly later be used as a complement in the normal analysis. The code is work-in-pr…
danmar
committed
2d651b0

Commits on Sep 10, 2019

dmake: Improve dependency detection of external and cli includes (#2163)

rikardfalkeborn
authored and
danmar
committed
afe05d0

Commits on Sep 1, 2019

Makefile: Set debug mode
danmar
committed
c07d5f0
Makefile: Set release mode
danmar
committed
355d2cc

Commits on Aug 17, 2019

Compiling/Installing : The CFGDIR parameter was removed. Use FILESDIR instead.
danmar
committed
a17f2a6

Commits on Aug 14, 2019

Dmake cleanups (#2077)

rikardfalkeborn
authored and
danmar
committed
f139558

Commits on Jul 17, 2019

run dmake
versat
committed
61ddda6

Commits on Jul 16, 2019

Makefile/dmake: Increase stack size to 8M for Cygwin builds to avoid segfaults (#2001)

versat
authored and
amai2012
committed
7d7078f

Commits on Jun 29, 2019

Restore Makefile after release
danmar
committed
17c5587
1.88: Update Makefile
danmar
committed
069ecb0

Commits on Jun 23, 2019

Makefile: Add one more flag 'MATCHCOMPILER=yes'
danmar
committed
1b4485a

Commits on May 17, 2019

sync (#1835)

carenas
authored and
danmar
committed
bf5c71b

Commits on Apr 19, 2019

dmake: use -isystem for externals to avoid compiler warnings
danmar
committed
ece1303

Commits on Apr 5, 2019

Run dmake
versat
committed
5eeeb0d

Commits on Mar 25, 2019

Run dmake
versat
committed
5036cb9

Commits on Mar 18, 2019

Run dmake
versat
committed
d3893a2

Commits on Mar 2, 2019

Makefile: Remove reduce target
danmar
committed
5e88258

Commits on Feb 9, 2019

Restore Makefile
danmar
committed
979e196
Makefile: Set release mode
danmar
committed
f45cecc

Commits on Feb 5, 2019

Fixed #8960 ("(debug) Unknown type 'x'." with alias in template class alias) (#1643)

IOBYTE
authored and
danmar
committed
1faae52

Commits on Jan 31, 2019

Update Makefile
danmar
committed
e297e3a
Update Makefile (#1636)

rikardfalkeborn
authored and
danmar
committed
0c9b4fe

Commits on Jan 10, 2019

Fix 8124: False positive va_end missing with lambda (#1577)

rikardfalkeborn
authored and
danmar
committed
a48c8ab

Commits on Jan 6, 2019

Update Makefile
amai2012
committed
94f2dac

Commits on Jan 5, 2019

Clean up redundant actions in travis jobs (#1563)
amai2012
authored
cc4ca75

Commits on Dec 25, 2018

CTU: Refactoring
danmar
committed
271763e

Commits on Dec 8, 2018

Debug Makefile
danmar
committed
81e6d67
1.86: Release Makefile
danmar
committed
5b897a7

Commits on Nov 19, 2018

Disable shadow warnings when compiling
danmar
committed
42e5165

Commits on Nov 14, 2018

Update Makefile
amai2012
committed
f1ce40a

Commits on Oct 22, 2018

Run check for missing CWE entries on travis.
amai2012
committed
39c2625