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
helper: don't strip casting in get_array_offset()
2015-03-20
D
a
n Carpenter
helper: d
o
n
'
t strip casting in g
e
t
_
a
r
r
ay_
o
ffs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
l
i
nks: e
x
port m
e
rge_
l
ink_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
helpe
r
: make
e
xpr_t
o
_str() print fo
r
c
ed casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpente
r
t
ype: make type_to_str() return a sname() buff
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
t
er
modification_hooks
:
set a
variable
as modified w
h
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_d
a
t
a2: tag it
i
f a
f
unction
se
t
s
param
e
ter
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carpenter
s
t
ack: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
deref_check: ignore ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpenter
ty
p
e
:
mak
e
sval_ty
p
e_max()
d
e
faul
t
to "lon
g
l
o
n
g
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n
C
arpenter
type: don't
r
eturn S
Y
M
_
NODE types from get_real_
b
ase_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects
:
the iterate_all
_
kinds
(
) macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpenter
unre
a
chabl
e
: don't complain
about
iterate_all_k
i
nds
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flo
w
:
f
ix "foo
+=
!
bar;" a
s
s
ign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpent
e
r
lib: handle -funsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpente
r
kernel
.
igno
r
e_side_
e
ffect
s
: add s
o
me macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenting: allow
"
b
r
eak; case XXX
:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
pente
r
user_
d
a
t
a2: mark
sscanf() out
p
ut as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carp
e
n
ter
math, rl
:
fix handing divis
i
o
n involv
i
ng negative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix
s
va
l
_bi
n
op_
o
verflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpen
t
er
preced
e
nce: compl
a
in ab
o
ut "foo << bar - ba
z
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpe
n
ter
flow:
h
a
ndle struct initialization be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
e
state: add a
N
UL
L
che
c
k in
estates_e
q
uiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
p
e
nter
p
aram_used: store when a pa
r
ameter is use
d
so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
extra: ignore more _
_
in_fake_assi
g
n data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
co
m
parison: fix a crash
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
t
y
pe: add an expr_signed() function that matches expr_
u
nsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpente
r
smdb
.
py: add function
s
to s
h
ow fun
c
tions i
m
p
leme
n
ting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
r
penter
extra: handle temporar
y
shorthand po
i
nters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
de
r
eferences_pa
r
am
:
l
o
ok fo
r
pointers used a
s
a
n array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indentin
g
:
w
a
rn ab
o
ut missin
g
curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Ca
r
pen
t
e
r
para
m
_cle
a
re
d
:
add
a
c
o
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
e
r
v
a
li
d
a
t
ion: co
r
re
c
t some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
Carpent
e
r
db: b
u
ild
i
ndexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
sl
i
st: fix co
m
pile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
ente
r
k
ernel_print
f
: si
l
e
n
c
e
some
fa
l
se positives using smat
c
h_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: re
c
ord wh
i
ch s
t
ring
s
a
re being
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
user_
d
ata
2
:
tu
r
n
on s
k
b->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
db: r
e
name FILTER_VALUE
,
LIMITED
_
VALU
E
, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_printf: silence some "
s
truct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: a
d
d u
n
i
ons to t
y
pe_t
o
_
s
t
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value: s
p
eed up loadi
n
g the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
*ne
w
* r
e
turn_cas
t
:
c
o
mplain abou
t
ret
u
r
n -
E
I
N
V
A
L in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpente
r
form
a
t_string:
delete this
because check_
k
ern
e
l_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
func
t
ion_hooks
:
a
d
d
som
e
deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
extra: cleanup
db_param
_
ad
d
_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra:
s
e
para
t
e PARAM_LIMIT and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
u
n
c
tio
n
_
h
ooks
:
d
o
n't tak
e
a
s
hortcut
for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
helper:
int
r
o
d
uce a
l
loc_state_
s
tr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handle "if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math: fix/
c
leanup do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
ca
p
p
e
d: don't record sin
g
le values as cappe
d
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: ex
p
or
t
get_static_filter
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
us
e
r
_data2: wron
g
p
a
ram
e
ter tagged as user
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosen
b
er
g
: de
l
et
e
some
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
ros
e
nberg: strip aw
a
y so
m
e casting
(el
i
minates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
rosenberg: don't save u
n
needed
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pente
r
buf
_
si
z
e
:
do
n
't
save
u
s
e
l
ess informa
t
io
n
in the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
p
e
nter
struct_assignm
e
nt: ignore more f
a
ke
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
slist: fix
d
ebugging outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpente
r
param_cleared, rosenberg: a
d
d underscored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
para
m
_
f
ilter
/
s
et: don't r
e
cor
d
f
a
ke assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
sli
s
t, debu
g
ging: d
o
n'
t
print ->p
o
s
s
ible
list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
t
y
p
e_val: add more stu
f
f to ig
n
o
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
d
b
/reload
_
parti
a
l
.
sh: chan
g
e
dat
a
base info for
on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
arpe
n
ter
kernel
_
print
f
: put lot
s
of s
i
ng
l
e quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Car
p
enter
check_kern
e
l_p
r
i
n
tf
.
c
: Simplify recursi
v
e ca
l
lin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
e
r
ke
r
nel_print
f
:
a
llow '\b' if it's the first chara
c
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
val
i
dation/sm_ro
s
e
nber
g
.
c: don't pass
a
n
u
ninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne
l
_
pr
i
nt
f
: add some more q
u
o
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
k
e
rne
l
_printf:
move
a
warning under the --spa
m
my flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
k
e
r
nel_pr
i
ntf
:
add 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
kerne_printf: '%pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Da
n
Carpenter
wrong_size_arg: warn about "if (memcmp(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
struct_assignment:
r
emove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sv
a
l: handle LEFT
S
HIFTs in sval_
b
i
nop_overf
l
ows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sva
l
: cast the result i
n
sv
a
l
_
bi
n
op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
type_val: updat
e
to
handle
P
ARAM_SET from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
an Carp
e
nter
type_val: ignor
e
kmall
o
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpenter
type_val: ignor
e
al
l
th
e
"for_each" macro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
user_data2:
remove so
m
e deb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
D
a
n Ca
r
pent
e
r
hel
p
er
:
in
t
roduce
i
nvert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n
Carpenter
ra
n
g
es:
break
the range list
parsi
n
g into a
s
epara
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Carpenter
ranges: prepar
e
to change a str
i
ng to an e
s
t
ate instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
e
n
ter
modification_
h
o
o
ks: add PARA
M
_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n Carp
e
nter
param_cle
a
r
ed:
clearing a
member is
n
ot clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
an C
a
rp
e
nter
type_val: ig
n
ore fake member assignments from
u
ncas
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
type_v
a
l
u
e: list_entry
i
s safe as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpenter
db
:
us
e
saved return estate ins
t
ead of searc
h
ing the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpen
t
er
debug: introduce __smatch_kno
w
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
Ca
r
pent
e
r
db, extr
a
:
use PARAM_SE
T
if the
par
a
m
e
ter is t
o
t
ally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan
C
ar
p
e
nter
frees_
p
a
ram: m
o
dify means
i
t's not freed
a
n
y
m
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpenter
slist: fix "st
a
ck not empt
y
"
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan
C
arpenter
silenc
e
: add __re
a
d_once_
s
ize()
t
o
k
e
rnel
.
silence
d
_
fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carpenter
compariso
n
: handle
p
r
eops
like "if
(++a == b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
flow: don't inline functions which are over 20 l
i
nes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Carp
e
n
ter
fu
n
ction_ptrs:
h
andle SYN_
N
ODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
Carp
e
nter
helper: impr
o
ve get_member_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
C
a
rpen
t
er
user_data2: start re-wr
i
te of user_data (not used yet)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
m
at
h
: intro
d
u
ce
c
ustom_get_abs
o
lute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next