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: do the comparison against the split apart returns
2014-11-04
D
a
n Ca
r
pen
t
er
d
b
:
d
o the comparison against the
split apart re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpe
n
ter
db: s
p
lit functi
o
n call ret
u
rns if we can
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Car
p
ente
r
flow: h
a
ndle backwards got
o
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Da
n
Ca
r
penter
flow: f
u
nction decl
a
rations are
n
ot fu
n
ction
d
efiniti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Carpenter
return_enomem
:
re-write
w
ithout using return_i
m
plies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpente
r
b
u
f_comparison
:
handle zero size ar
r
ays
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
rpenter
buf_
c
ompariso
n
: expor
t
the get_size_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
D
an Carpenter
buf
_
co
m
par
i
son,
db: recor
d
t
o
p level variables in data_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
function_hooks
,
db: fix a problem
with
nested c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Da
n
Carpenter
comparison: oop
s
.
forgo
t
to c
o
mmit a ch
u
nk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
6
4bit_shift:
find bu
g
s like:
u64 fo
o
= 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
D
an Ca
r
penter
auto_c
o
py: fix a cr
a
shing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
D
a
n Carpente
r
p
reced
e
nc
e
: b & mask >
>
shift i
s
normally a
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
shift
_
to_zero: fix an err
o
r
me
s
s
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpenter
free: check for passin
g
or returning freed memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: don't turn off wa
r
nings
i
f --
s
pam
m
y is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
d
b
/
fixup_kernel
.
sh: b
i
tmap_alloc
a
te_
r
egion doesn
'
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf
_
comparison:
st
o
re whi
c
h data holds array limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparison
,
buf_size: add rea
l
loc() to allocati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
an Carpenter
co
m
pare: introduce get_all_compar
i
sons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
db
:
add data_in
f
o table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Ca
r
penter
auto_copy:
ass
i
gnments
c
opie
s
stat
e
s automat
i
ca
l
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpenter
buf_comparison: look for off
by
o
ne errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Mer
g
e
branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Da
n
C
a
r
p
e
n
t
e
r
err_ptr_de
r
ef: error
m
e
ssa
g
e s
h
ould
say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpe
n
ter
fre
e
:
improve cr
o
ss function tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
ar
p
enter
shift_to_zero: check for things li
k
e
"
(f
o
o & 0x
f
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Da
n
Carpenter
parse_call_math: handle math
li
k
e "$0->
f
oo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Car
p
enter
parse_call_math: more format change
f
a
l
lout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpe
n
te
r
pa
r
s
e_call_math: NULL terminate
b
uf
size recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
c
a
ll_math: use r
a
nge
list
s
instead of
onl
y
exact values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
ar
p
ente
r
ranges:
s
tart i
m
plementing rl_b
i
nop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
r
penter
c
o
mpariso
n
: store general limits in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpen
t
er
comparison
:
take orig
i
na
l
comparison into a
c
count
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpente
r
val
i
dat
i
on:
add a
test f
o
r t
h
e rec
e
nt
f
unction c
o
mpar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
a
r
penter
func
t
i
o
n_hoo
k
s
: fu
n
c
t
i
o
n
c
ompariso
n
s can imply a para
m
ete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Ca
r
pen
t
er
f
i
xup_kernel
.
sh: several impo
r
tant updates (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an
Car
p
e
n
ter
co
m
pari
s
on:
rename falsify_op() to
n
eg
a
te_compa
r
ison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
ranges: rename filter_by_comp
a
rison(
)
to
something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arp
e
nter
cgc
c
: revert part
o
f t
h
e -Werr
o
r check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comp
a
ris
o
n: rename flip_op() to flip_com
p
arison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan C
a
r
pent
e
r
Merge git://
g
i
t
.
k
e
rne
l
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carp
e
nter
smdb
.
p
y: add some help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Car
p
ente
r
build_kernel_data
.
sh: er
r
or ou
t
if the right p
a
ckag
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: d
o
n
'
t store comparisons
t
o one's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comp
a
ri
s
on: add a c
o
mment for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison: g
e
t rid
o
f the
chunk_vsl_eq() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
c
omp
a
rison: pass t
h
e filt
e
re
d
false
s
t
a
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparis
o
n: c
l
e
a
nup update_t
f
_data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpente
r
d
b
: fix handli
n
g
of nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
nter
states: add an assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
b
uf_size: handle str
l
en() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking
:
add ffs_mut
e
x_lo
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
flow: the __in_
p
re_con
d
ition vari
a
b
l
e
needs t
o
be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smatch
.
h: store
s
o
me dummy da
t
abas
e
ty
p
es temporar
i
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db: expose
the da
t
a pa
r
ameter so we can
use
d
a
t
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pe
n
ter
p
arse_cal
l
_
m
ath: chan
g
e A
P
I to use range lists (m
o
stly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
r
anges: fix parsin
g
t
h
at I broke this afternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
compar
i
son: fix up filter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pent
e
r
ranges: use the ranges st
o
red in the database pr
o
pe
r
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
r
anges:
fix
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
rang
e
s: simplify an
d
robustify str_t
o
_rl_helper()
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpent
e
r
param_li
m
it: save the compar
i
son
to the argument
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
f
u
nction_hooks:
f
ix how database comparisons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
o
mparison: pass the ignore field
to ra
n
ge_
c
omparison_
t
o_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpen
t
er
comparison: take previous comp
a
riso
n
s into ac
c
ount
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
penter
db: pre
f
er literals to paramete
r
m
a
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
d
b: r
e
-
a
dd so
m
e
m
is
s
ing [
]
characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned
_
expr: u
n
define
on
modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpen
t
er
db: fi
x
how pa
r
ameter ma
t
h
w
orks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
ass
i
g
n
ed_expr: add reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arp
e
nter
links: create a smatch_
l
i
nks
.
c file with functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
parse_call
_
math: fix left overs from the format c
h
ange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
param_set: write struct members in terms
of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
extra: write
c
ertain returned struc
t
membe
r
s in
t
erms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
db: pass t
h
e re
t
u
r
n
expression t
o
the returned
_
memb
e
r_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nte
r
extra:
save
r
e
t
u
rn values in terms of parameter ma
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: unif
y
how parameter descri
p
tions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
c
omparison: add
an ign
o
re p
a
rameter to expr_equal_to_p
a
ram()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unreacha
b
le: igno
r
e the u
n
reachabl
e
() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpenter
err_ptr_deref: pas
s
ing an E
R
R
_
PTR to k
f
ree()
is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
pen
t
er
ex
t
r
a
:
handle me
r
gin
g
NULL pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n Carpenter
extra:
add
r
esses of arrays are non-NUL
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
d
b:
r
em
o
ve bogu
s
par
a
meter information from hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db:
add a
new tab
l
e which hol
d
par
a
me
t
er types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n Carpenter
type: in
t
r
oduce
t
ype_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
D
an Carpent
e
r
l
o
c
king: re
m
o
ve some
d
uplicate "
s
ometimes
l
ocked" wa
r
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n Carpente
r
gen
e
r
i
size
.
pl: filter
some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carp
e
nter
generesize
.
p
l
:
cleanup ind
e
ntation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
arpent
e
r
ranges: a pointer to a
n
array is just a
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
ex
t
ra: record g
l
obal de
c
larati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
C
arp
e
nter
cond
i
t
i
ons: update
some de
b
ug outp
u
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
compa
r
i
so
n
: introduce possibl
e
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
e
n
t
er
extra: up
d
ate a debu
g
statemen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
functi
o
n_p
t
rs: track fu
n
ction
s
which r
e
turn a functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
show_errs
.
sh: quote some string
s
p
r
operly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
slis
t
:
put get_sm_
s
tate_st
r
ee_stack() in the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
states: change the debug output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
a
rpen
t
er
struct_assignment: han
d
le kzalloc() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sl
i
st: add
t
he filena
m
e to s
o
me deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next