repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
extra: preserve hard_max after comparisons to zero
2019-01-14
Dan Carpe
n
ter
extra: preserve hard_m
a
x after compariso
n
s to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpen
t
er
slist: make
sm->childre
n
a smaller type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
sl
i
st: rename variables in __merg
e
_
stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rpenter
s
list: handl
e
the fast pat
h
in __merge_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
penter
slist:
simpl
i
f
y
_
_merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Da
n
Carpenter
no
s
pec: don't record no
s
pec pa
r
a
m
eter in
f
o
which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
d
ma_mapping_error: update to on
l
y comp
l
a
i
n
a
b
out legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
Joh
n
Le
v
on
Remove -Wempty-character-constan
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
D
an C
a
rpenter
s
m
a
t
ch: add a
-
-succe
e
d
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Add
i
l
l
u
mos projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
on
Conv
e
rt some sm_msg() int
o
more specific reporting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John L
e
von
Convert sm
_
msg(
)
with an error: prefi
x
into sm_error(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John
L
e
v
on
Convert all sm
_
msg("warn:
.
.
" into sm_warnin
g
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John
L
evo
n
R
e
g
ular
i
se error
r
eport
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carp
e
nter
db: make escap
e
_newlines() take a c
o
nst p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
ter
parse
.
h: create stmt_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
cons
t
rai
n
ts: escape SQL stat
e
m
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Car
p
enter
statement_count: rec
o
rd how man
y
s
tatemen
t
s ther
e
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/d
b
: silence an
in
v
alid SQ
L
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
D
an Carpent
e
r
b
uf_size: fix handling of 1
e
lement
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
db: sq
l
debug
m
ode was
e
xecuting
the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
test
_
bi
t
: add
t
e
st_and_se
t
_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
debu
g
: introduce __smatch_me
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
db: don't save struct members f
o
r
i
ntegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
imp
l
ie
d
: remove an unnecessar
y
N
UL
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
nul_terminato
r
:
e
x
port th
e
is_nu
l
_term
i
nat
e
d(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpent
e
r
kpat
c
h: use git instead of
t
rying
t
o create dif
f
s by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
stru
c
t_assign
m
e
nt: h
a
ndle unions as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carp
e
nter
missing_brea
k
: turn i
t
of
f
by d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an C
a
rpent
e
r
free
_
strict: fix
s
ome false
positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
Revert "Lo
o
k a
c
ross
the entire compile line f
o
r sm
a
tch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Look across the entire compile
l
ine for
s
match
arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
spa
r
se: add -Wempty-char
a
cter-c
o
ns
t
an
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sparse: add
-
Wbig
-
con
s
tants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
ar
s
e:
a
dd -Wno-non-ans
i
-function-declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn L
e
von
sparse: c
o
r
r
e
c
t
l
y handle "-D foo" and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van
O
ostenryck
fix: spaces in macro definiti
o
n on the comm
a
nd line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
Intro
d
uce s
k
ipped_f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
v
o
n
Fix
esc
a
pe_newlines()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
arse: lib
.
c sho
u
ld handle being built 32-bit, compilin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
arse: defi
n
e __x86
_
64;
s
ome s
o
ft
w
are checks f
o
r this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
Allow add
i
t
ional
CFL
A
GS t
o
be spec
i
fied, e
.
g
.
"CF
L
AGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpent
e
r
trinity: Pro
o
f of concept to auto-gen
e
ra
t
e tr
i
nit
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
an Carpen
t
er
u
ser_data
:
r
e
n
a
m
e to sm
a
t
c
h
_kernel_user_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpente
r
assigned_expr: rename to s
m
atch_assigned_
e
xpr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Car
p
enter
smatch: make the --enable/disable op
t
ions
t
a
k
e strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
c
l
ock() is alread
y
defined on illumos, so r
e
na
m
e the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
Ignore
"
#ident" as foun
d
in
s
ome
o
l
d source
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John
L
evon
Use $(CFLAGS) when compi
l
in
g
smatch
.
c i
t
self
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
s
m
atc
h
_nul_te
r
m
in
a
t
e
d: fix
c
om
p
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
a
rpenter
un
t
r
a
cked_par
a
m: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpen
t
er
un
i
nitialize
d
: fix a
c
rashing bug parsin
g
"retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpent
e
r
nul_terminator: track
when
s
trin
g
s
have a NUL te
r
mi
n
ator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpenter
us
e
r_data
2
: fix a t
y
pe issue in
c
aller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pente
r
user
_
da
t
a
:
integers can't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
compa
r
ison:
m
ake a
b
uffer larger
to make
G
CC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arp
e
nter
data_source: track a
s
signments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra:
p
r
e
vent a d
i
vide by
z
ero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
mod
i
fication_hook
s
: use the DB for
f
ro
b
(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sval: introduc
e
s
val_binop_ove
r
flo
w
s_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpe
n
t
er
extra: undo b
o
gus
u
nop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Ca
r
penter
ar
r
ay_valu
e
s: fi
x
up a
n
d su
p
port two dime
n
s
ion
a
l
local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Car
p
enter
param_s
e
t: do
n
'
t
record a param_set for p
+
+ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
f
un
c
t
ion_hooks: re-
h
a
ck around movin
g
the fake parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpen
t
er
array_va
l
ues:
store
array values of stru
c
t member arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
D
a
n
Carpe
n
ter
f
u
n
c
ti
o
n_hook
s
: hack around fallout f
r
o
m movi
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
D
a
n Carp
e
nter
compar
i
son: don't return inva
l
id params in get_
m
ask_compari
s
on(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
d
b
: don't print "faile
d
to open" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
pa
r
am_set: remove some dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
mtag: temporarily disable
generating mta
g
f
o
r
kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
a
r
p
enter
e
xpressions: don't cra
s
h on
i
nvalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
extra: fix a type b
u
g in ins
e
rting
i
nfo
i
nto cal
l
er_i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
ke
r
nel: don
'
t insist that th
e
paramet
e
r is
named "er
r
or"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
ex
t
ra: export is
_
impos
s
ible_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
flow: fix
a crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
f
u
nction_h
o
oks: do the fake
p
a
rame
t
er
a
ssi
g
nm
e
nt after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fix gene
r
ify_mtag_range(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpente
r
extra: clear_p
o
inted_at_state() is a nomod s
t
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpent
e
r
pa
r
am_set:
h
a
ndl
e
whe
n
the stac
k
va
r
i
able w
a
s
modifie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpent
e
r
pa
r
s
e_c
a
ll_math: don't sa
y
the return is equa
l
to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
scope: fix is_oute
r
_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval: ha
n
dle ca
s
ti
n
g to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
array_values: don'
t
cr
a
sh on invalid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Car
p
enter
no_s
p
ec: recor
d
w
h
en funct
i
ons h
a
ve a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra/type: fix type of
return PA
R
AM_ADD/
S
ET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
param_
l
imit:
make mt
a
g limits
m
ore generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Car
p
enter
param_se
t
: don't save if the parent is
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
atomic_inc
_
dec: ad
d
a couple more
f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
penter
sig
n
ed_integer_ov
e
rflow: ig
n
ore this fo
r
the kern
e
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: h
a
n
dle cond
i
t
i
onals like: "a
=
b?:
c
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
nospec
:
d
on't f
i
ll
t
h
e DB up with garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
sizeof: fix NULL dereference pa
r
sing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
t
rin
g
s: truncating large stri
n
gs cau
s
es
SQ
L
pr
o
blems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type_val: do
n
'
t
double
r
ecord
g
l
o
bals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carp
e
nter
target: man s
s
ize_t be unsig
n
e
d
lo
n
g instead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra: do
n
't reset impossible
states
a
f
ter a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan C
a
rpenter
a
rray:
s
t
ore possible arr
a
y va
l
ues for simple
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
mtag: HACK
:
ret
u
rn false i
f
the mtag
is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
fl
o
w: fake an assign sta
t
em
e
nt for glob
a
l i
n
itializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an
C
arpenter
flow: tweak how
f
unction
timeout
s
happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next