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
conditions: ignore known/implied conditions
2015-03-30
Dan Carpent
e
r
c
onditio
n
s: ignore known/imp
l
ied con
d
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
s
trin
g
s: recor
d
s
tring a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
str
u
ct_as
s
i
g
n
ment: save a
l
ot
more in
f
o
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pente
r
param_li
m
i
t/filter: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
e
r
comparison
:
han
d
le
c
anon
i
c
al
fo
r
loo
p
s with variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparison
:
unsigned
c
an not be less than ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: se
t
__cur_stmt an
d
__prev_stm
t
i
n
side for loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpente
r
compa
r
ison
:
mer
g
ing
e
quivalent state
s
is
n
ot undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
C
arpenter
c
omparison: fix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
n
t
er
function_hooks: f
i
x
up db_
c
ompare_cal
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
function
_
hooks, debug
:
pr
i
nt imposs
i
b
l
e returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
helper: don't strip cas
t
i
n
g in get_array_off
s
et
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
links: exp
o
rt merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper:
m
ake exp
r
_to_str() pr
i
nt forced c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
type:
m
a
k
e type_to_str() r
e
turn a snam
e
() buff
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
p
e
nter
modification_hooks: set
a
variable as
m
od
i
fie
d
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpen
t
er
u
s
e
r_data2:
t
ag it
if a
f
unction sets
p
arameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
nter
s
t
a
c
k
:
cle
a
n
u
p a fun
c
ti
o
n
prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rp
e
n
ter
deref_check: ignore
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type
:
make sval_
t
ype_max() defau
l
t
to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: do
n
't retur
n
SYM_NODE ty
p
e
s from get
_
real_base_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
a
r
penter
side_effe
c
ts
:
the iterat
e
_all_kinds() macro has sid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Carp
e
nter
unr
e
achab
l
e: don't c
o
mplain
about i
t
erat
e
_all
_
kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fix "foo
+= !bar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
Ca
r
penter
lib: handle -funs
i
g
ned-char opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpente
r
kernel
.
ignor
e
_side_effe
c
ts:
a
dd s
o
me
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
r
p
enter
i
ndenting: allow "brea
k
;
case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
us
e
r_data2: mark sscanf() output as
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
er
m
ath, rl: fix
handing div
i
sio
n
in
v
ol
v
in
g
negative num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
sval: f
i
x
sval_bin
o
p_
o
verflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
pen
t
e
r
pr
e
c
e
dence: com
p
lain a
b
out "foo << bar
-
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
low:
h
andle struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
e
s
tate: add a
N
U
L
L
c
h
eck in
es
t
ates_
e
qu
i
v()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
te
r
p
aram_used: store
whe
n
a
pa
r
ameter
i
s
u
sed so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore
m
ore __in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparison: fix a crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
a
rpen
t
er
t
y
pe: add an
expr_s
i
gned() func
t
ion tha
t
matche
s
expr_unsigned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
smdb
.
py: add functions to
s
how
f
u
nct
i
o
ns implem
e
nting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an C
a
rpenter
extra: h
a
nd
l
e temporary short
h
a
n
d pointe
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpente
r
dereferen
c
es_para
m
: look f
o
r p
o
inters used
a
s an arr
a
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpent
e
r
c
h
eck_indenting:
w
arn
a
b
out missin
g
curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_c
l
eared: ad
d
a c
o
m
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpenter
validat
i
on:
c
orre
c
t
some
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
d
b:
bu
i
ld i
n
dexes
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpent
e
r
slist: fix c
o
mpile breaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Ca
r
penter
k
ernel_printf: sil
e
nce some fa
l
se positives us
i
ng smatc
h
_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
st
r
ings: rec
o
rd which strin
g
s are
b
eing us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
e
nt
e
r
user_dat
a
2: turn on skb->
d
ata tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
db:
rename FILTER_VALUE, LIMITED_VALUE, an
d
AD
D
ED_VALU
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpen
t
er
k
e
rnel_prin
t
f: silen
c
e some "struct sockaddr
" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpent
e
r
t
y
pe: add unions to type_to_s
t
r(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Ca
r
penter
t
y
pe_valu
e
: speed up loading t
h
e
datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* retur
n
_cast:
c
omp
l
ain about return -EINVAL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
f
or
m
at_string: delete this beca
u
se check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
function_hooks: add some
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
e
xtra: clea
n
up
db_
p
aram
_
a
dd_
s
et(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
e
x
t
ra: se
p
ar
a
te PARAM_LIMIT
a
nd PARAM_FILTE
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
f
u
nctio
n
_
hooks: don
'
t ta
k
e
a s
h
ortcut fo
r
"needles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
penter
h
e
lpe
r
:
i
ntroduce al
l
oc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
penter
m
a
th: handle "if (likely(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
rpenter
mat
h
: fix/clea
n
up do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
c
a
pp
e
d
: don'
t
record single va
l
ues as
capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db:
e
xport get_static
_
filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
rpenter
user_data2: wron
g
pa
r
ameter ta
g
g
e
d
as user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg:
d
el
e
te some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: strip
away some casting
(e
l
iminates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
r
o
s
enberg:
d
on't save u
n
needed s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
bu
f
_size: don't save useless
i
n
formation
i
n the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
struct_assig
n
ment: ignor
e
more
f
a
ke assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
slist:
f
ix
d
e
b
u
g
ging outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
param_
c
leared, r
o
senberg: a
d
d undersc
o
re
d
memset/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
param_filter/set: do
n
'
t
record fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, debug
g
ing:
d
on'
t
print ->po
s
si
b
l
e lis
t
if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpen
t
er
typ
e
_val: add
more
stuff
t
o
ig
n
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
e
n
ter
db/reload_pa
r
t
ial
.
s
h
: c
h
a
n
g
e
databa
s
e inf
o
for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
en
t
er
ke
r
nel_printf:
put
l
ots of singl
e
quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carp
e
nter
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pent
e
r
check_
k
ernel_printf
.
c: Simplify re
c
urs
i
v
e
c
alling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: all
o
w '\b
'
if i
t
's
the first
c
h
aracter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
v
a
lidation/sm_rosenber
g
.
c: don't pa
s
s an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpe
n
ter
ke
r
nel_printf: add some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpente
r
k
e
r
nel
_
pr
i
ntf
:
move
a war
n
in
g
under the
--
s
pammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
ar
p
enter
kern
e
l_pri
n
tf: ad
d
some quotes around the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Car
p
ente
r
kerne
_
pr
i
ntf: '%p
b
' is
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Dan Carp
e
nter
wrong_size_arg: warn about "if (
m
emcm
p
(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struct_assignme
n
t
: r
e
move a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Car
p
enter
sva
l
: handle LEFTSHIFTs in sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpen
t
er
s
v
al: c
a
st the
r
esult in sval_bino
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val: update to han
d
le PARAM_SE
T
from the
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
type_val: ignore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
ype_val: ign
o
re all the "for_ea
c
h" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_data2: r
e
move some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan
Carpenter
h
e
lper: introduce invert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Carp
e
nte
r
ranges: b
r
e
ak the
r
a
ng
e
list par
s
ing into a
s
epar
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
rpente
r
ranges: pre
p
are to
c
h
a
nge
a string
t
o an
e
s
t
ate instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
penter
m
odi
f
ic
a
tion_
h
ooks:
a
dd P
A
RAM
_
SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
param_cleared:
c
learing a m
e
mber
i
s no
t
clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Car
p
en
t
e
r
ty
p
e_v
a
l: ignor
e
fake member assignments from uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n Carpenter
typ
e
_value: list_
e
ntry is saf
e
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpent
e
r
db: use
s
aved return e
s
tate instead of se
a
rching t
h
e db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next