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
buf_size: given and array and an offset then return the remaining size
2014-09-26
Da
n
Carpenter
ranges:
simpli
f
y
and
robustify str_to_rl_helper
(
) a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
p
aram_limit: save the compa
r
ison
to th
e
argument
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
function
_
hooks: fix h
o
w da
t
abase
comparisons
a
re done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison:
p
ass
t
h
e ignore field to r
a
nge_comparison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
comparison: take p
r
evious comparisons into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
penter
db: prefer
li
t
e
rals to parameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
C
a
rpente
r
db: re-add som
e
missing [] characters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
ass
i
gned_expr: undefine on mo
d
ification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpenter
db: fix h
o
w
p
ar
a
meter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
n
te
r
assigned_expr:
a
dd r
e
verse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
l
i
nks: create
a
smatch_links
.
c file with functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carp
e
nter
p
ar
s
e_call_m
a
th: fix
l
eft
ove
r
s from the format ch
a
n
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
a
rpenter
param_se
t
:
write struct
m
em
b
ers
in terms o
f
par
a
me
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
ent
e
r
ex
t
ra: write cer
t
ain return
e
d st
r
uct memb
e
rs in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
db: p
a
ss t
h
e return
ex
p
ress
i
o
n to
t
he return
e
d_
m
ember
_
call
b
ac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpen
t
er
extra: save
r
e
tu
r
n v
a
lues in terms o
f
parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db: unify how parameter d
e
scriptio
n
s are
s
a
ved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
ar
p
en
t
er
comparison: ad
d
an ignore param
e
ter to
e
xpr
_
e
qual_to_param(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unreachable: ignore the
unreac
h
abl
e
() ma
c
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an Car
p
enter
err
_
ptr_deref: passin
g
an ERR_PTR to kfree() is a
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
e
x
tra: hand
l
e m
e
rg
i
ng NULL pointers
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n
C
a
rpenter
extra: addresses
of arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n
Carpenter
db: remove
b
o
gus
parame
t
e
r
information
f
rom hook
type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
arpenter
db:
a
dd a new
tab
l
e wh
i
ch hold parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carp
e
n
ter
type: intro
d
uce ty
p
e_to_str(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
l
o
cking:
remove some du
p
l
ic
a
te "sometimes
l
ocked" w
a
rnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Ca
r
pente
r
generisize
.
pl: filter some more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
genere
s
ize
.
pl: clea
n
up indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carp
e
n
ter
ran
g
es: a poi
n
t
e
r to
an
array
i
s
just a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Car
p
enter
extra: record global
declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
conditions: update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
comparison: introd
u
c
e
possible_
c
ompa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n C
a
rpenter
extra: update a debug statem
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
function_ptrs:
t
rack function
s
wh
i
ch return
a f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
sh
o
w_errs
.
sh: quote some s
t
rings prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Ca
r
penter
slist: put get_sm_state_stree_stack
(
) in the
.
h
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpen
t
er
s
tate
s
: change
t
he debug output
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
struct_a
s
sign
m
ent: handle kz
a
l
l
o
c(
)
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
sli
s
t: add the filen
a
m
e
to some debu
g
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpen
t
er
flow: parse glob
a
l variabl
e
s befor
e
pa
r
sing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Car
p
enter
slist: export t
h
e set_state_stree_pe
r
m
(
) f
u
nc
t
io
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpe
n
ter
comparison: a v
a
riable is always equal
to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
an
C
arpenter
remove n
u
l
l tests for array
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan C
a
rpenter
Makef
i
le: allo
w
CC to be defined o
u
t
side t
h
e
m
akefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
nter
silence no
n
-ANS
I
war
n
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
helper: prev
e
nt segfault in
expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpen
t
er
extra: improve handling of "if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Carp
e
n
ter
mis
s
ing_break
:
make a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db: fix r
u
ntime bre
a
k
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpe
n
ter
d
eref
e
renc
e
s_param: add more derefere
n
c
ed
v
a
riable
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n Carpenter
ranges: remove
unnee
d
ed NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n C
a
rpente
r
type_val: store fake
assignments in a
s
li
g
h
tly d
i
fferent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Car
p
e
nter
p
a
ram_
s
e
t
/
filter: don't print les
s
u
seless information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpen
t
er
db: fixup after call_impl
i
es changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
p
aram_clea
r
ed:
handle dire
c
t assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
enter
d
b: make
c
all_implies matc
h
cal
l
er_info with
a k
e
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
D
an Car
p
e
nter
smdb
.
p
y
: f
i
x test for if a datatype is kno
w
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carp
e
nter
ass
i
gned_e
x
pression: get
t
h
e
assigned
express
i
on
using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
r
p
enter
rosenber
g
:
h
andle struct
t
o
s
truct a
s
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpente
r
data/kern
e
l
.
sizeo
f
_p
a
ram
.
remo
v
e:
add __dynamic_pr_debu
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpenter
struct_
a
ssignment:
introduce
get_faked_exp
r
es
s
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpente
r
s
t
ruct
_
a
s
signme
n
t: handl
e
memcp
y
(foo,
.
.
.
)
where foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
a
rpenter
math: be more am
b
iti
o
u
s
ha
n
dling r
i
ght shif
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
user_data: kstrtoul()
and friends should
t
a
int dat
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Ca
r
penter
extra:
more limits on which var
i
ables ar
e
equ
i
vale
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
db: ge
t
return states from function poi
n
te
r
s if pos
s
ible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carp
e
nter
p
ropagate: remove
v
a
lidation test b
e
cause
we remove
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slist: i
n
troduce merge_fake_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpe
n
ter
unreachable: sil
e
nce "not actually in
i
tializ
e
d" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
ro
s
enberg: fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpen
t
er
debug: introduce __smatch
_
debug_chec
k
(
) to d
e
bug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carp
e
nter
*new* ch
e
ck_no
_
if_block: sometimes the if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carp
e
nter
unconstant_macro
s
: add VM_SOFTDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ty
p
e:
i
n
t
roduce is_str
i
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
u
s
e
r_data: int
r
o
duce impl
i
ed_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
rosen
b
erg: refactor match
_
copy_to
_
user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
en
b
erg: chec
k
many mor
e
function
s
instead of
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
r
osenberg: add memzero
(
)
to c
l
ear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
D
a
n
C
arpenter
pa
r
am_
c
leared: memzero() clears t
h
e par
a
meter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpen
t
er
db:
s
plit all
b
ool
e
an f
u
nctio
n
s i
n
to o
n
e and zero strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
clea
r
_buffer: rem
o
ve
t
his code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
param_cleared: this shouldn't
d
e
p
end on
-
-
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpe
n
t
er
locking
:
update va
l
i
da
t
ion to the new error formatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
locking: u
p
d
a
t
e
error f
o
rma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
s
truct_assignment: fix
h
ow
smatch
h
a
ndles
foo = NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senbe
r
g: p
r
epar
e
to
ch
e
ck pointers to struct
s
as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
ros
e
nberg: che
c
k for holes at the end of
the str
u
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: th
i
s c
h
eck is
k
ern
e
l sp
e
cific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachable: turn
i
t
on by defa
u
lt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
helper: introduce g
e
t
_
prev_stateme
n
t() (fix t
h
e
b
uild)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpente
r
unre
a
c
hable: add watchdog(
)
to kernel
.
no_return_fu
n
cs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
ea
c
hable: do
n
't print a warnin
g
if we jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ent
e
r
u
n
re
a
chable: igno
r
e unre
a
c
h
a
b
l
e code
r
ight
a
f
t
er an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
achable: t
u
rn
o
ff backward l
a
b
eled warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
un
r
eacha
b
le
:
add some more m
a
cros to th
e
.
ign
o
re and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
a
r
p
enter
flow: merge continues b
e
fore the iterator_post_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
flow: handle pos
t
op return sta
t
em
e
nts l
i
ke
:
r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
unreachabl
e
: ignore som
e
condition
a
l
l
y
unreach
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreacha
b
le: ign
o
re common fal
s
e positives
c
aus
e
d by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreac
h
able: ignore un
r
ea
c
hable code after BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next