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
ranges: use the ranges stored in the database properly(ish)
2014-09-26
Da
n
Carpenter
ranges: us
e
the ranges s
t
o
red
in the databas
e
properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carp
e
n
ter
rang
e
s: fix crash
i
n
g
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges
:
simplify and
r
obus
t
i
fy
s
t
r
_
to
_
rl_helper() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpente
r
param_limit: s
a
ve the compari
s
on to the arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function
_
hooks: fix ho
w
d
ataba
s
e
c
o
mparis
o
ns
are do
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comp
a
rison: pa
s
s the ignore field to ran
g
e_co
m
paris
o
n_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpente
r
c
o
m
p
a
ri
s
on:
take p
r
evious comparisons into
account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpent
e
r
db
:
prefer
literals to
p
ar
a
meter
mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
n
ter
db: r
e
-
add s
o
me missin
g
[] characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
ass
i
gned_ex
p
r: undefine
o
n m
o
d
i
fication
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db: fi
x
h
o
w
parameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Carpenter
assi
g
ned_
e
xpr
:
a
d
d reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpent
e
r
l
i
n
ks: create a smatch_links
.
c file with functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
par
s
e_call
_
math: fix l
e
ft overs from t
h
e format change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
pa
r
am
_
set: write s
t
ruct members in terms of
p
arame
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
arpenter
extra: write ce
r
ta
i
n
r
eturned struct members in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpen
t
er
d
b:
pass th
e
return exp
r
essio
n
t
o
t
he returned_member_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
x
tr
a
: save ret
u
rn val
u
e
s in
terms of parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db: unify how p
a
rameter de
s
cript
i
o
n
s
are
saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arp
e
nter
c
o
m
p
arison:
a
dd an ig
n
ore parameter to expr_equal_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Car
p
ent
e
r
unre
a
chable: igno
r
e the unr
e
acha
b
l
e
() m
a
cr
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carp
e
nt
e
r
er
r
_
p
tr
_
deref
:
pa
s
sing an ERR_PTR to kfre
e
(
)
is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
e
xtra: handle
m
e
r
ging NULL poi
n
ters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpen
t
er
extr
a
:
a
ddre
s
ses o
f
array
s
are non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
an Car
p
enter
db: remove bogus parame
t
er inform
a
tion from h
o
ok type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpente
r
db:
a
dd a new tab
l
e which
hold param
e
ter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan
C
arpenter
type: intro
d
uce t
y
p
e
_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan
Carpenter
lock
i
ng: re
m
ove some duplicate "sometime
s
l
ocked
"
w
a
rnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Car
p
enter
generi
s
ize
.
p
l
: f
i
l
ter some mor
e
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carp
e
nter
generesize
.
pl: cleanup
inde
n
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
r
anges: a
pointer t
o
an
array is just a
point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpe
n
ter
ext
r
a: r
e
cord gl
o
bal de
c
larations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Car
p
enter
conditions: update some debug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
c
om
p
arison: introduc
e
possi
b
le
_
c
omparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
extra:
upd
a
te a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
arpent
e
r
function_ptrs: track function
s
w
h
i
ch return a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
show_er
r
s
.
sh: quote some string
s
prope
r
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carp
e
nter
slis
t
:
p
ut get_sm_state_stree_stack() in the
.
h
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
r
p
ent
e
r
states:
c
hange the d
e
b
ug
output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
str
u
ct
_
a
s
s
ig
n
ment: handle kzalloc()
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
sl
i
st: add
the f
i
lename to some debug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carp
e
n
ter
f
low:
p
a
rse
global
v
ariables before
parsing
f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
s
l
ist: export th
e
s
et_state_stree_perm
(
) function to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
co
m
p
arison:
a variable is
always equal to itse
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
D
a
n Carpenter
remove nul
l
tests for arra
y
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
C
a
rp
e
nter
Make
f
ile: allow CC to be defi
n
e
d
outs
i
d
e the makefile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
C
a
rpenter
silence non-ANS
I
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
D
a
n Carpenter
helper: prevent segfau
l
t
in expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan C
a
rpenter
extr
a
:
i
m
p
r
ove ha
n
dling of "if (x * 4 > 12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
D
a
n
C
arpenter
m
i
ssin
g
_break: make a func
t
ion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpe
n
ter
db: fix
run
t
ime breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
dereferences_
p
a
r
a
m
: add m
o
re
der
e
fere
n
ced
v
a
r
i
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpen
t
er
ranges: remove unne
e
d
e
d NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
p
e
nter
type_val
:
store f
a
ke ass
i
gnments in
a
slightly different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
penter
p
a
ram_set/filter: don't print less u
s
eless inform
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpenter
db: fixup a
f
te
r
call_impli
e
s changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
an Carpenter
par
a
m_cl
e
ared:
h
and
l
e direct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpenter
db: make call_im
p
l
i
es match cal
l
er_info with
a
key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpenter
s
md
b
.
py: fix tes
t
for
i
f a d
a
tatype
i
s known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
as
s
ign
e
d
_
expr
e
ssion:
get the assign
e
d expres
s
ion using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
rosenbe
r
g: handle struct to st
r
uct
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
r
p
e
n
ter
data/ke
r
nel
.
siz
e
of_param
.
remove: add
__dynami
c
_p
r
_debug
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
a
r
pente
r
st
r
u
c
t_assignment: introd
u
ce ge
t
_faked_ex
p
ressio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
D
an
C
arpenter
struct_assignment:
h
andle memcpy(foo,
.
.
.
) wh
e
re foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
math: be more ambitious handling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n Carpenter
user_d
a
ta: kstrtoul() and fr
i
ends sho
u
ld taint da
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
C
a
rpenter
ext
r
a: more limits
on which
v
ariabl
e
s
a
re e
q
ui
v
al
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
db: g
e
t return stat
e
s f
r
om f
u
nction pointers if possib
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carp
e
nter
propagate: re
m
ove validation test because we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
s
list: intro
d
uce merge_fake_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpenter
unreac
h
a
ble: silence "not
a
c
tually
i
nitialized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carp
e
nter
rosenb
e
r
g: fix
so
m
e fa
l
se
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
Carpenter
debug: introduce __smat
c
h
_
debug_check(
)
to
debu
g
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new* check_no_i
f
_
b
lock: sometimes
the if bloc
k
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
uncons
t
ant_macros
:
add VM_SOF
T
DIR
T
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
type: introdu
c
e is_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpent
e
r
user_data
:
introduce implied
_
user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
e
n
berg: refact
o
r ma
t
ch_c
o
py
_
to_user(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
enber
g
: chec
k
many m
o
re function
s
i
n
s
tead of j
u
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: add memzero() t
o
clear fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param
_
clea
r
ed: memze
r
o()
clears
the para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
p
e
nter
db:
s
plit all boole
a
n functions into
o
ne and zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
c
lear_buffer
:
re
m
ove this
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpe
n
t
er
param_cleare
d
: this shouldn't depend
on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: upd
a
t
e
valid
a
tion
t
o
the new error
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locki
n
g: update error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assignment: fix h
o
w smatch handles
f
oo
=
N
ULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
rosenberg: prepar
e
to check poin
t
ers
to stru
c
t
s
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: chec
k
f
or holes at the end of the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carp
e
nter
rosenberg: th
i
s che
c
k is kernel specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
pen
t
er
unreachable:
t
u
r
n
it on by
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
help
e
r:
i
ntroduce get_prev_s
t
at
e
m
e
nt() (fix
t
he build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
un
r
e
achable:
a
d
d
wa
t
chdog()
t
o kernel
.
no_r
e
t
u
rn_
f
uncs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
unreachable: don't
print
a
w
a
rning
if we jump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpe
n
ter
unreachable: ignore
u
nreachab
l
e c
o
de ri
g
ht aft
e
r an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
ar
p
enter
u
n
reach
a
ble: turn o
f
f back
w
ard labele
d
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nr
e
acha
b
le:
a
dd
s
ome more macros to
t
he
.
ignore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpenter
flow:
m
er
g
e continues before
t
he iterator
_
post_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpe
n
t
er
flow: handle post op r
e
tu
r
n stat
e
ments li
k
e: retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpe
n
ter
unreac
h
ab
l
e
: ignor
e
s
o
me co
n
ditionally unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next