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
deref_check, check_deref: only consider pointers
2015-03-26
Dan C
a
rpe
n
t
er
compa
r
ison: handle canonica
l
for l
o
ops with va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison:
u
n
signed can not b
e
l
e
s
s tha
n
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
flow: se
t
__cur_stmt a
n
d __prev_stmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: mergin
g
equivalent states is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
comparison: fix
a
n inde
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
unction_hooks
:
fix u
p
db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
functi
o
n_hooks, d
e
bug:
p
rint impossible
returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
helper
:
don't strip
casting in get
_
array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links
:
export merge_li
n
k_stat
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
he
l
p
e
r: make expr_to_str() p
r
i
n
t force
d
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpent
e
r
type: make
type_t
o
_str() retu
r
n a s
n
ame() b
u
f
f
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
modification_hooks: set a var
i
able
a
s modifi
e
d wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Car
p
en
t
er
use
r
_data2: tag
i
t if a
f
unction
s
ets
p
a
r
ame
t
ers
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
stack: cl
e
anup
a
functi
o
n
prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpent
e
r
d
e
r
ef_
c
he
c
k: igno
r
e ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
t
y
pe: make sval_type_
m
ax
(
) default
t
o "
l
ong lon
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nter
ty
p
e
:
don't return SYM
_
NODE t
y
p
e
s
f
r
om get_rea
l
_b
a
se_
t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
a
rpenter
side_effects: the iterate_all_kinds() m
a
cro ha
s
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
a
rpen
t
er
unreachable: don't
compl
a
in about ite
r
a
te_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix
"fo
o
+=
!b
a
r;" as
s
i
g
nme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
Carpente
r
lib: ha
n
dl
e
-funsi
g
ned-ch
a
r
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpe
n
te
r
kernel
.
ignor
e
_side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpenter
i
n
d
enting: allow "bre
a
k; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpenter
u
ser_data2:
mark sscanf() output as us
e
r
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
math,
r
l: fix handing di
v
i
s
ion involv
i
ng negative numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Ca
r
penter
sval: fix sval_
b
inop
_
ove
r
flows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Car
p
enter
pr
e
c
e
dence:
c
omplain about
"
foo << bar - ba
z
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan C
a
rpent
e
r
f
l
ow:
h
andle struct
init
i
a
l
ization bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: a
d
d a NULL check in estates_e
q
uiv(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
param_used: st
o
re when
a param
e
t
e
r i
s
used so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore more _
_
in_fa
k
e_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
com
p
ar
i
son: fix
a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type:
a
dd
a
n expr_signed() function tha
t
matches expr_u
n
s
i
gn
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
ent
e
r
s
m
db
.
py: add functions to show functi
o
ns impleme
n
ting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
C
ar
p
enter
e
x
tra: handle temporary shorthand poi
n
ters better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
de
r
e
f
e
rences_param:
l
ook for pointers
used as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpe
n
ter
chec
k
_in
d
enting:
w
arn about
miss
i
n
g
curly b
r
aces a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpenter
p
aram_cleared:
add
a
co
m
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
va
l
i
dat
i
on:
c
or
r
ect s
o
me out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpenter
db: build
in
d
exes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpen
t
er
sl
i
st: fi
x
compile b
r
eaka
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpenter
k
ern
e
l_printf:
sile
n
ce some false positives using
s
m
atch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings
:
record wh
i
ch str
i
ngs are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
use
r
_data
2
:
turn on
s
k
b
->data
tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
db: re
n
ame
FILTER
_
VALUE, LI
M
ITED_VAL
U
E, a
n
d AD
D
ED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
r
p
enter
kerne
l
_printf:
s
i
lence so
m
e "struct sockaddr " f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: add unions to type_to
_
s
tr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
t
ype_va
l
ue:
spe
e
d up loading t
h
e data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* retur
n
_
cas
t
: complain about
r
eturn -EINVA
L
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
format_string:
delet
e
t
h
is because ch
e
ck_kern
e
l_p
r
i
n
tf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
funct
i
o
n_hoo
k
s: add some
d
ebug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
extra: cleanup
d
b_p
a
ram_add_se
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extr
a
:
s
eparat
e
PARAM_
L
I
MIT and PARAM
_
FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks
:
don't ta
k
e a sh
o
rtcut f
o
r "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper
:
introduce alloc
_
state_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
math: h
a
ndle "if
(
like
l
y(
1
)
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carp
e
nter
math:
f
ix/cleanup do_co
m
par
i
son
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
c
apped: don't re
c
ord si
n
g
le values as
c
a
p
p
e
d in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db
:
export
g
et_stati
c
_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wrong pa
r
amete
r
tagged as user
dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nte
r
ros
e
nberg: d
e
l
e
te
s
ome code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
r
osenber
g
: strip
away some
cas
t
ing (el
i
minates
a f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpente
r
rosenbe
r
g: don't save unneeded s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
te
r
buf_size:
do
n
't sa
v
e
us
e
less information i
n
the d
a
tab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
struct_assign
m
ent: ig
n
o
re more fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carp
e
nte
r
slist: fix de
b
ugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
param
_
cleared
,
rosenberg: a
d
d under
s
cor
e
d mem
s
et/c
p
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
arp
e
nte
r
param_
f
i
l
t
er/set: don't recor
d
fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
s
list, debuggi
n
g: don't pr
i
nt ->possi
b
le list if
t
here
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: add mo
r
e s
t
uff
to igno
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
d
b/reload_partial
.
sh: change database info
f
or one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
kernel_
p
rin
t
f: p
u
t
l
ots
of
s
ingle quote
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpenter
Merg
e
b
r
anch 'dev
e
l
3
'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
check_ker
n
el_printf
.
c: Simplify re
c
ursive cal
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_print
f
: allow '\b' if i
t
's t
h
e
f
i
r
s
t character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validation/sm_rosenberg
.
c: don't pass an uni
n
itialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpente
r
kernel_p
r
int
f
: add som
e
more quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ker
n
el_printf: move a warning
u
nder the --spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
kernel_printf
:
ad
d
some quotes around the
funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
ker
n
e_p
r
intf: '%
p
b' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
D
a
n
C
ar
p
en
t
er
w
r
ong_size_arg: war
n
about "if (memc
m
p(foo,
b
ar,
size
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpen
t
er
str
u
c
t
_assignment
:
remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sva
l
:
handle LEFTSHI
F
Ts in
s
val_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sva
l
: cast the result
i
n sval_bin
o
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
an
Carpe
n
t
er
t
y
pe_val: u
p
date to handle PARAM_S
E
T from the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carp
e
nter
type_val: ignor
e
k
malloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
t
y
pe_va
l
:
i
gnore all
the
"
for_
e
ach" ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user
_
data2:
remove som
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan C
a
r
p
enter
helper:
i
ntroduce invert
_
op
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
r
a
ng
e
s: break t
h
e ran
g
e list p
a
r
s
ing in
t
o
a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
D
an Carpenter
ranges: pr
e
pare to ch
a
n
ge
a string
t
o
an e
s
tat
e
instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
modi
f
icati
o
n_h
o
oks: add PARAM_
S
ET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n Carpenter
param_cleared: cleari
n
g
a mem
b
er is no
t
clearing a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Car
p
enter
type_val: ignore
f
ak
e
member
assignmen
t
s f
r
om un
c
aste
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpen
t
er
type_
v
alue: list_en
t
ry i
s
safe as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db: use saved return estate instead of searching the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
pen
t
er
debug: introduce
_
_
s
mat
c
h
_
known()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Car
p
enter
d
b
, e
x
t
r
a:
u
se PAR
A
M_SET if
the parame
t
er
i
s t
o
tally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
D
an Carpenter
free
s
_p
a
ram: modify means it
'
s
not freed anym
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan Car
p
e
nter
sl
i
st: fix "stack not empty" err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next