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
auto_copy: fix a crashing bug
2014-10-29
D
a
n
Car
p
enter
a
u
to_copy: fix a
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Car
p
enter
precedence: b & mask >>
shi
f
t is
n
orm
a
l
l
y a bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
a
r
penter
shift_to_zer
o
: fix
a
n error mess
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
Carpent
e
r
f
ree: che
c
k for p
a
s
s
ing
or return
i
ng fre
e
d
memory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carpenter
fre
e
: don't tu
r
n
o
f
f w
a
rnings if --spammy is
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpen
t
er
db
/
fixup_ker
n
el
.
sh: bitmap_allo
c
a
t
e_re
g
i
o
n doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Ca
r
penter
buf_comparison: store which data holds array
limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparison
,
bu
f
_
size: add realloc(
)
to alloc
a
tio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Ca
r
penter
c
ompare: intr
o
duc
e
get
_
al
l
_
c
ompari
s
ons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Da
n
Carpe
n
ter
db:
add dat
a
_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
a
uto_co
p
y: assi
g
nment
s
c
o
pie
s
stat
e
s automatic
a
ll
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan
C
a
rpenter
buf_compari
s
on: look
for
o
f
f
by
one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
Carpe
n
ter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
err_pt
r
_deref: erro
r
messa
g
e should sa
y
"negativ
e
"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Ca
r
p
ent
e
r
free:
i
m
prov
e
cross function tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero:
c
heck for things like "(
f
oo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
rpenter
pa
r
se_call_math: handle ma
t
h like "$0->f
o
o +
5
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpe
n
ter
parse_c
a
ll_m
a
th: more format
change fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math: NULL
terminate buf size
r
ecip
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpente
r
c
all_
m
ath: use ra
n
ge lists
inst
e
ad o
f
only exact values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpe
n
ter
r
a
nges: sta
r
t
i
mplementing rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
an
C
a
r
p
enter
comparison: store general limi
t
s
i
n the datab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpenter
co
m
parison:
t
a
ke original compariso
n
into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
rp
e
nter
validation: add
a
te
s
t
for the r
e
cent function compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
ar
p
enter
fu
n
ction_hoo
k
s
:
func
t
ion comparisons
can imply a para
m
e
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
Carpent
e
r
fixup_kernel
.
sh: sev
e
ral
import
a
nt updates
(bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
a
rpenter
compari
s
on: rename fa
l
s
ify_op()
t
o negate_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
ranges:
r
en
a
me
f
ilter_by_comp
a
ris
o
n() to something
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpenter
cgcc: revert pa
r
t of
t
he -Werror check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
compar
i
son: re
n
ame flip_op(
)
to flip_comparison
(
) a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpente
r
Mer
g
e git:
/
/git
.
k
ernel
.
or
g
/p
u
b/scm/devel/spa
r
s
e/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Ca
r
penter
s
m
db
.
py: add
s
ome help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Da
n
C
a
rp
e
nter
bu
i
l
d
_kernel_data
.
sh: error out if
t
he righ
t
p
ackages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carpenter
compa
r
ison: don't
s
tore co
m
parisons
t
o
one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
comparison: add a comment for updat
e
_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan C
a
rpen
t
er
comparison: get
r
id of
t
he chunk_vsl_eq() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carp
e
nter
comparison: pas
s
the filtere
d
false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
o
mparison
:
c
l
e
anup
u
p
d
ate_t
f
_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpe
n
t
e
r
db:
fix handling of n
e
ste
d
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
stat
e
s: add
a
n a
s
sert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
r
p
enter
b
u
f_size: handle strle
n
() a
bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs_mutex_loc
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpe
n
t
er
flow: the
__in_pr
e
_
c
ondition
v
ariable needs
t
o
be
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smat
c
h
.
h: store some dum
m
y database typ
e
s tem
p
orarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
nter
db: expose
the data parame
t
e
r
so
w
e
c
an use da
t
a in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
parse_call_mat
h
:
c
hange API to
u
s
e range list
s
(mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
ranges: fix parsing that I
broke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpent
e
r
compari
s
on: fix
u
p filter_co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use the r
a
ng
e
s stored i
n
the datab
a
se properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ranges: fix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
ranges: simp
l
ify an
d
robus
t
ify st
r
_to_rl_helper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limit:
s
ave the
c
omparison
t
o the argu
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
func
t
io
n
_hooks
:
fix how database co
m
parisons
a
r
e
do
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpen
t
er
comparis
o
n
:
p
ass t
h
e ig
n
ore
fie
l
d
to range_comparison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
o
mp
a
rison: take previous com
p
arisons
into account
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db: prefer literals
to parameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpente
r
d
b
:
r
e
-add
s
ome missi
n
g [
]
characters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
r
p
enter
ass
i
gne
d
_e
x
pr: undefine
on modifica
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db:
f
ix how parameter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
assigned_expr: a
d
d reverse l
i
nks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
links: create a smatch_links
.
c
file wit
h
f
unc
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
p
arse_
c
all_math:
f
ix left overs from the
format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
p
a
ra
m
_set:
write struct members
in terms o
f
pa
r
a
m
e
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
arpenter
extra
:
wr
i
t
e
certain
returned str
u
ct members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpe
n
ter
db
:
pass
the return expressi
o
n
to
the retu
r
ned_member_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
ext
r
a: save return
valu
e
s in terms of
p
arameter mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Car
p
enter
db: unify how par
a
m
eter descriptions are save
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
comp
a
rison: add an ignore para
m
eter
t
o exp
r
_equal_t
o
_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpen
t
e
r
unreac
h
able: ignore the unr
e
achable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpent
e
r
err_ptr_
d
er
e
f: pa
s
sin
g
an ER
R
_P
T
R t
o
kfree()
i
s a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan C
a
rpenter
e
x
tra: handl
e
merging NULL p
o
i
nters b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
D
an
C
arpenter
extra: addr
e
sses of
a
r
r
ays are non-NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpe
n
ter
db: r
e
move bogus paramet
e
r inform
a
tion from hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db:
a
dd
a n
e
w table which
hold pa
r
ame
t
er types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Car
p
enter
typ
e
:
i
ntr
o
duce type_
t
o_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Car
p
ente
r
loc
k
ing:
r
emove some d
u
plicate "sometimes locked" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisiz
e
.
pl:
f
ilter som
e
more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
C
arpen
t
er
ge
n
eresize
.
pl
:
c
leanup indentat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ra
n
ges: a p
o
inter to a
n
arr
a
y is
just a
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
rpenter
e
x
tra:
r
e
cord global
d
eclarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
condit
i
ons:
update some debug out
p
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
co
m
p
arison: intro
d
u
c
e p
o
ssible_compa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
e
x
tra: upda
t
e
a deb
u
g s
t
atement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Ca
r
pent
e
r
function_ptrs: track
f
u
n
ctions which return
a
f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
e
n
ter
show_errs
.
sh: quote some strings p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
slist: put get_s
m
_st
a
te_
s
tree_
s
t
ack() in
t
h
e
.
h
fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
states:
c
hange the
d
ebug output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpente
r
struct_assignm
e
n
t: h
a
ndle kzalloc() b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: a
d
d
the filename
to some d
e
bug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow: parse global
v
a
r
iab
l
es before parsing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
slist: export th
e
set_state_
s
tr
e
e_perm(
)
function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
compar
i
son: a va
r
iable is alw
a
ys equal to itsel
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
n
ter
re
m
ove null tests for
arra
y
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
Makefile: al
l
ow CC to be defi
n
ed outside the makefi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
silence non-ANSI warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
helper: pr
e
vent seg
f
ault
i
n expr
_
to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Ca
r
penter
extra: improve handling of "if
(
x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carp
e
nter
missing_
b
reak: make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan
Carp
e
nter
d
b: fi
x
ru
n
time
breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
dereferenc
e
s
_param: a
d
d more dere
f
erenced
v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next