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
db, kernel: when kmalloc() succeeds that implies the size was reasonable
2014-11-04
Dan C
a
rpenter
db,
k
ernel: when km
a
lloc() succeeds th
a
t imp
l
ies t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
an Carpente
r
d
b
: do th
e
compar
i
s
o
n against the split apart returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
a
n
Ca
r
p
e
nter
db: spl
i
t function
c
all ret
u
r
ns if we
ca
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
fl
o
w
:
handle backwards goto hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
an Carpenter
flo
w
: function
d
eclarations are
not f
u
nc
t
i
on de
f
in
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Car
p
enter
return_enomem: re-
w
rite withou
t
using return_
i
mplies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
rp
e
nt
e
r
buf_compa
r
iso
n
: handle zero siz
e
arrays better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_c
o
mparison:
expo
r
t
t
h
e get_size_va
r
iable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpent
e
r
bu
f
_comp
a
rison, db: record top leve
l
variables
i
n data_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
fun
c
tion_hooks, db: fix a p
r
oblem with n
e
s
ted cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpente
r
compar
i
son: oops
.
forgot to com
m
it a chunk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
6
4bit_shift: find bugs like: u
6
4
foo = 1 << x
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan C
a
rp
e
nter
auto_copy: fix a
c
rashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpente
r
prec
e
d
en
c
e: b
&
mask
>>
shift is normally a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
shift_to_
z
ero: fi
x
an error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Carpenter
f
r
ee: check for
passing or returni
n
g
f
r
eed memo
r
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
free: don't turn
o
f
f warnings i
f
--spammy is s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpenter
db/
f
ix
u
p_kern
e
l
.
sh
:
bitmap_al
l
oca
t
e_region doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_co
m
parison:
stor
e
which data holds array lim
i
t
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparison, buf
_
size: add realloc()
t
o al
l
ocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Ca
r
penter
compar
e
: introdu
c
e get_all_comparisons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n Carpenter
db
:
add d
a
t
a_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
a
u
t
o
_cop
y
:
a
s
signments copies st
a
tes automatica
l
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpenter
b
u
f_compari
s
o
n
: look
f
or of
f
by
one
e
r
rors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpen
t
e
r
err_ptr_d
e
ref: error m
e
ssage should say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
arpent
e
r
fre
e
: improve cross function tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
D
a
n Carpenter
shift_to_zero: check fo
r
t
hings
l
i
ke "(foo &
0
x
f
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
D
a
n Carpenter
parse_call_math:
h
andle
math lik
e
"$0->foo
+ 5
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpente
r
parse_call
_
math: more
f
ormat change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
D
a
n
Carpe
n
ter
parse_
c
all_math: NULL terminat
e
buf si
z
e recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ca
l
l_math:
u
s
e r
a
nge l
i
sts ins
t
ead of only ex
a
ct values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
an
Carpenter
range
s
: start impl
e
menting rl_
b
in
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpen
t
e
r
comparis
o
n: store general li
m
its i
n
t
h
e
dat
a
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n C
a
rpenter
co
m
parison: take original
c
omp
a
rison into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
an Car
p
enter
validation
:
add a test for the recent function compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_ho
o
ks:
f
unct
i
on compa
r
i
s
ons can impl
y
a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
en
t
er
fixup_k
e
r
n
el
.
sh: several i
m
portant u
p
d
ates (bugfixe
s
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpente
r
comparison: rena
m
e falsi
f
y
_
o
p
() to negate_com
p
a
r
iso
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
rang
e
s: r
e
name fil
t
er_
b
y_comp
a
rison() to so
m
ething
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
cgcc: revert part of the
-
W
e
rror che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
c
o
m
pariso
n
:
ren
a
m
e flip_op() to flip_comparison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge git:
/
/
g
it
.
kernel
.
org
/
pub/scm
/
devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py:
add some
he
l
p t
e
xt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan
Carpenter
build_kern
e
l_data
.
sh: error
o
ut i
f
the righ
t
p
a
ckages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Ca
r
penter
c
o
mparison:
d
o
n
't store c
o
m
p
ari
s
ons
t
o one
'
s self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison
:
add a comment for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
e
n
ter
comparison: g
e
t rid of t
h
e chunk_
v
sl_e
q
(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpenter
comparison
:
pass the
f
iltered false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Ca
r
penter
c
om
p
arison
:
clean
u
p
updat
e
_tf_d
a
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
a
n
Carpenter
db: fix handling of
neste
d
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
stat
e
s: a
d
d
an
as
s
e
rt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpent
e
r
bu
f
_
s
ize: handle strl
e
n(
)
a
bi
t
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
loc
k
ing: add ff
s
_mutex_l
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
fl
o
w: the __in_
p
re_
c
ondi
t
ion variable n
e
eds to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpente
r
sma
t
ch
.
h:
sto
r
e some dum
m
y
database type
s
temporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
db: exp
o
s
e
th
e
d
ata param
e
ter so we can use data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpen
t
er
pa
r
se_ca
l
l_
m
a
t
h:
c
hange A
P
I to us
e
range lists (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
ranges: fix parsing that I broke t
h
is
af
t
ernoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
c
omp
a
rison
:
fix up filt
e
r_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: use
the ran
g
es stored in
t
h
e
da
t
abase proper
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
t
e
r
ranges: fix crash
i
ng
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
r
pent
e
r
ranges: simplify and robustify str_to_rl_
h
elp
e
r() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
en
t
er
para
m
_lim
i
t
: save
th
e
c
o
mparison t
o
the arg
u
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
functio
n
_hooks: fix how
databa
s
e comparisons are d
o
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
compa
r
ison: pas
s
the
ignor
e
fie
l
d to r
a
nge_comparison_to_pa
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
compa
r
i
son:
t
ak
e
p
r
e
vious comparisons int
o
account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
n
ter
db:
p
ref
e
r l
i
terals to parameter
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpenter
db: re-add so
m
e m
i
ssing [] cha
r
acters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
rpen
t
er
assigned_ex
p
r
:
undefin
e
on mod
i
fication
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an C
a
rpenter
db:
f
ix how p
a
rameter ma
t
h works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
ass
i
gned_
e
xpr: add reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
links: c
r
eate a smatch_
l
inks
.
c fil
e
wi
t
h
f
unctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carp
e
n
t
er
parse_call_math:
fi
x
left overs
f
r
o
m the format ch
a
n
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
param_set: wri
t
e
struct mem
b
ers
in term
s
of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carp
e
nter
extr
a
: write cert
a
in
retu
r
ned stru
c
t mem
b
ers in t
e
rms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
db
:
pass the return expression to
the r
e
turn
e
d_memb
e
r_callb
a
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
extra: save r
e
turn values in t
e
r
ms of p
a
rameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db:
unify how
p
aram
e
t
e
r descriptions are sav
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
comparison: add an ignore parameter to expr_equa
l
_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unreachab
l
e
: ignore t
h
e unre
a
c
h
a
ble() m
a
cro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpent
e
r
err_ptr_de
r
ef: passing an
E
RR_PTR t
o
kfree()
i
s
a
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
extr
a
: handle me
r
ging N
U
LL pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpente
r
extra: addre
s
ses of
arrays are non-N
U
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpente
r
db: r
e
m
ove bogu
s
param
e
ter
i
nformation from
h
ook typ
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
pent
e
r
db: add
a
new table which hold parameter
type
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
type: intr
o
duce type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
D
an
C
a
r
penter
locking: r
e
move
some duplicate
"
s
o
metimes l
o
c
k
ed" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisi
z
e
.
p
l: filter some more
s
t
uff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carpenter
gen
e
resize
.
pl: cleanu
p
indentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n C
a
rpenter
rang
e
s: a pointe
r
to a
n
array is just a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpent
e
r
extra: r
e
cord
global
declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
conditions:
up
d
ate some debu
g
output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
comparison: i
n
tr
o
duce
p
ossible_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
ext
r
a: up
d
a
t
e
a
de
b
ug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
func
t
io
n
_ptr
s
:
track functions which return a fu
n
ct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rp
e
nter
show_errs
.
sh: quote so
m
e
s
t
rings pr
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
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
D
a
n
C
arpente
r
states: change the debug out
p
ut fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
s
truct_assignment
:
handl
e
k
zalloc() b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next