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
precedence: b & mask >> shift is normally a bug
2014-10-29
Dan Carp
e
n
t
er
precedence: b
& ma
s
k >> shif
t
is
normally a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
shif
t
_to_
z
ero: fix an error
m
ess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carpenter
free:
check for passing
o
r
r
eturning
f
reed memor
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n Carpen
t
er
free:
don't tu
r
n
o
ff warni
n
gs if --spammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
d
b
/
fixup_kernel
.
sh: bitmap_allocate
_
r
egion doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Ca
r
pent
e
r
buf_comparison: store which d
a
t
a
holds a
r
ray limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparison, buf_size: add r
e
a
lloc() to a
l
location
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpente
r
compare: introduce
get
_
a
ll_comparisons
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
db: add
d
ata
_
in
f
o table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Da
n
Ca
r
pent
e
r
auto_c
o
p
y:
a
s
si
g
nment
s
copies states automatically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan
Carpenter
bu
f
_
compa
r
ison: l
o
ok for of
f
by one errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Ca
r
penter
Merge branch 'd
e
vel'
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpe
n
ter
er
r
_ptr_der
e
f: error
m
essage sh
o
uld say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpent
e
r
fr
e
e: impr
o
ve
c
ross function tracking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpe
n
ter
shift_to_zero:
c
h
ec
k
f
or things
li
k
e "
(
f
oo & 0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_call_math: handle math like "$0->f
o
o + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call
_
ma
t
h
:
more format
c
h
ange fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan C
a
rpenter
pa
r
se_c
a
ll_
m
ath: NU
L
L
te
r
minate buf size r
e
cipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
c
all_math: us
e
ran
g
e lists instead
o
f
o
n
l
y exact values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carp
e
nter
ranges:
star
t
i
mplem
e
n
t
ing rl_b
i
nop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
Carpenter
comp
a
r
i
son: s
t
ore gener
a
l limits in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpe
n
ter
c
o
mparison
:
take original compari
s
on into account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Ca
r
penter
v
alidation: add a test for the recent
f
unctio
n
compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carp
e
nter
fun
c
tion_h
o
o
k
s:
f
u
n
ction compariso
n
s can
imply a parame
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup_
k
erne
l
.
sh: several import
a
nt updat
e
s
(bugfi
x
es)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
comparison: rename falsi
f
y_o
p
() to negate_
c
omp
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpen
t
er
r
anges: ren
a
me f
i
l
ter_by_comp
a
rison() to somethi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpen
t
er
cgcc: rever
t
part of the
-Werror
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
comp
a
rison: rename flip_op() to
f
lip
_
co
m
par
i
s
on() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
D
an Carpenter
Merge git://git
.
kerne
l
.
org/pub
/
scm/devel/spa
r
se/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan
C
a
r
p
e
n
ter
smdb
.
p
y
: add s
o
m
e help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan C
a
rp
e
nte
r
build_kern
e
l_data
.
s
h
: error out if the right pack
a
ges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
rpenter
comparison: don't
st
o
re comp
a
rison
s
to one
'
s self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
comparison: add a
c
o
m
ment
for
updat
e
_tf_lin
k
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
comparison: ge
t
rid of the chunk_vsl_eq()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
c
o
mpar
i
son: pass th
e
filtered
f
alse state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n C
a
rpen
t
er
comp
a
rison: cleanup update
_
tf_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
a
n Carpent
e
r
db: fix han
d
ling of nest
e
d calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpente
r
sta
t
e
s
:
add
an
assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
b
uf_size: handle strle
n
(
) a
b
it bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ente
r
loc
k
ing: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
flow:
the __in
_
pre_condition variable
n
e
eds to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
n
t
er
smatch
.
h
:
s
tore some dummy database t
y
pes t
e
mpora
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
nter
db: expose th
e
d
a
t
a parameter so we ca
n
use
d
a
ta in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
parse_call
_
math: change API to
u
se
r
a
nge lists (mostl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nte
r
ranges: fix parsing that I
broke thi
s
a
fternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
c
om
p
ariso
n
: fix up filter_c
o
mpari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
t
er
ranges: use the
range
s
stored in th
e
database prop
e
r
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
ranges:
fix cra
s
hin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpenter
rang
e
s
: simplify and robustif
y
s
t
r_to_
r
l_helper()
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
p
a
ram_lim
i
t: save the comparison to
t
he arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
function
_
hooks: fix how d
a
tabas
e
compari
s
ons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
comp
a
rison: pass the ign
o
re field
t
o range_comparison
_
to
_
par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
ar
p
ent
e
r
comparison: ta
k
e previous
comparisons i
n
to acc
o
unt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Car
p
enter
db: prefer
literals to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db
:
re-a
d
d
s
ome missing [] characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Car
p
ent
e
r
assigned_expr: und
e
f
i
ne on modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
db: fix how
p
ara
m
eter math wo
r
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
assigned_expr:
a
dd reverse lin
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
ter
links: c
r
eate a smatch_links
.
c file
w
it
h
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an C
a
rp
e
nt
e
r
p
a
rse_call_math: fix
l
eft over
s
from the format change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Car
p
e
nte
r
p
aram_set: write struct
members in ter
m
s
of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
x
tra:
w
r
i
te ce
r
tain returned struct members in te
r
ms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
d
b: pass the return expression t
o
t
h
e returned_member_callbac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
e
xtra: save r
e
turn
values in
t
erms 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 paramet
e
r descrip
t
ions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
r
p
ent
e
r
comparison: add an
i
gn
o
re paramete
r
to ex
p
r_equal_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpe
n
ter
unreachable: ignore the u
n
reachable
(
)
macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n
Carpente
r
err_ptr_
d
eref: passing an
E
RR_PTR to
kfree() is a
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Car
p
enter
extra: handle merging NULL
p
oin
t
ers be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan
C
arpent
e
r
extra:
addresses of arrays are
n
on-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
C
arpenter
d
b: remo
v
e bogus
p
aramete
r
in
f
orm
a
tion from hook
t
y
p
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Car
p
enter
db: add a new
table which hold p
a
ramete
r
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
D
an Carpenter
t
y
p
e: introduc
e
type_to_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
lo
c
king:
r
e
m
ove som
e
duplicate "s
o
met
i
mes l
o
cked"
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
ter
generis
i
ze
.
pl: filter some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carpenter
generes
i
z
e
.
pl: cleanup ind
e
nta
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ranges: a
p
ointer to an array is just a poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
ex
t
ra
:
record global declara
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Ca
r
penter
conditions: update some debug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpe
n
ter
co
m
parison: introduce
p
o
ssible_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
e
x
tra: up
d
ate
a
debug
s
ta
t
ement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
funct
i
on_ptr
s
:
track
functio
n
s which retu
r
n a functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
s
how_
e
rrs
.
sh: qu
o
t
e so
m
e strings pro
p
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: put g
e
t_sm_stat
e
_
stree
_
s
tack() in the
.
h fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
states: ch
a
nge the debug output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struct_assignment: hand
l
e kzalloc() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sl
i
st:
add th
e
filen
a
me to s
o
m
e d
e
bug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
flow: pars
e
g
l
obal variables befo
r
e parsing func
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
slist: export the set_state_str
e
e_per
m
() function to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
r
penter
compa
r
i
s
on:
a variable is always e
q
u
a
l
t
o itself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
Ca
r
penter
remove null tests
for
a
r
rays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpe
n
ter
Makefile: al
l
o
w
CC to be d
e
fined o
u
tside the ma
k
efi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
Carpente
r
silence n
o
n-ANSI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan C
a
rpenter
hel
p
er: prev
e
nt segfaul
t
in expr_t
o
_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpenter
extra: impr
o
ve hand
l
i
ng
of "if (x *
4
> 12)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
D
a
n Carpe
n
ter
mi
s
sing
_
break: make
a
function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan
C
ar
p
en
t
er
d
b: fix
r
untime breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Da
n
Carpent
e
r
dere
f
erences_param
:
add
more d
e
ref
e
renced variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n
Ca
r
penter
ranges
:
remove u
n
nee
d
ed NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next