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
extra, math: rework how fuzzy max is handled
2013-11-29
Da
n
Carpenter
extr
a
, math: rework how fuzzy m
a
x
is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan C
a
rp
e
nter
buf_size: handle devm_kmalloc()
a
l
locations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
e
n
te
r
k
e
rnel
.
ig
n
ored_
m
acros: add RT_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
C
a
rpenter
smd
b
: impro
v
e
"
w
here" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
e
nte
r
ranges:
i
n
t
r
o
duce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: work
a
round crashing
b
u
g
in
get
_
memb
e
r_na
m
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
loc
a
l_val
u
es:
p
ull c
o
d
e
in
o
ne ind
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
Carpenter
ch
e
ck
_
signed: ignore thin
g
s with n
e
g
ativ
e
number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
f
low: ignore
s
t
ructs and
unions in set_un
s
e
t
_to_zer
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpente
r
modific
a
tion_ho
o
ks: delete a
blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
penter
recurse
:
introduce h
a
s_inc_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
typ
e
_val: fix a build warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpente
r
type_
v
a
l
: actually run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
smatch: a couple crashing bu
g
s
on
i
nv
a
l
i
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpente
r
allow char to
b
e unsign
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
a
rp
e
nter
helper: improve is_
e
rror_r
e
tur
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
type_val: intro
d
uce st
o
ring s
t
r
u
ct member
l
imits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
data
_
source:
load wh
e
re data comes from into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
.
g
i
ti
g
nore:
i
gnore
bak
.
s
match
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
db
:
f
ixup_kernel
.
sh: s
a
y
t
h
a
t we only have 64
CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
C
arp
e
nter
d
b: preserve unmerged states in the -
>
possib
l
e better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
db: group
f
unction
p
ointer re
t
urn state
s
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
p
e
nt
e
r
db: orde
r
the
return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixup_k
e
rnel
.
sh: ignore
t
i
mer_lis
t
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fi
x
up_ke
r
nel
.
sh: re
m
ove
s
o
m
e US
E
R_DATA
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
nter
db:
improve databa
s
e de
b
ugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
D
an Carpent
e
r
s
match
.
h: sh
i
ft some struct member
s
ar
o
un
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan
Carpenter
flo
w
:
c
le
a
r_buffer
:
reve
r
t
part o
f
co
m
mit
t
hat uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpenter
flow: r
e
-write how struct me
m
b
ers
are initi
a
lized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rp
e
nter
smatch_clea
r
_
buffer: m
e
m
cpy() sho
u
ld set the des
t
inati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
s
match_clear_
b
uff
e
r: mak
e
a fun
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
n
ter
smatch_data/kernel
.
cle
a
r
s_argument: re
m
ov
e
m
em
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Carpenter
flow: introduce outside_
o
f_function() to
f
ix glo
b
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpe
n
t
e
r
db: kernel:
igno
r
e i40e_
d
b
g_
n
etdev_ops
_
write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
f
l
ow: set m
e
m
b
e
rs to zero b
y
d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpen
t
er
db, extra, use
r
_data: handle: *x = 1;
return x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
u
ser_data: remove kmem
d
u
p_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
p
e
nter
user_d
a
ta
:
make
a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
cont
a
iner
_
of: people chec
k
ing the
ret
u
rn v
a
l
ue of n
l
a_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carp
e
nter
helpe
r
: fix
c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carp
e
nter
user_data: make a function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
m
a
th: expor
t
g
et_const_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math:
handle b
i
twise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nter
m
a
th: handl
e
LEFT_S
H
IFT (
a
<< b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
enter
math: remove an
i
m
possibl
e
c
on
d
ition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan C
a
rpenter
Fix --no-data so it doesn't spe
w
database er
r
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carp
e
nter
extr
a
: fix a crash parsing invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof: fix typo in e
r
ror mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carpent
e
r
s
izeof: comp
l
ai
n
if code does sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
C
arpenter
type: let ge
t
_real_base_type()
take
NULL parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db
:
rename add_
r
eturne
d
_state_callback() => add_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
rosenberg info leaks: check __c
o
py
_
to_user
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
r
o
sen
b
erg info leak
s
: use PARAM_CLEARED data from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n C
a
r
penter
rosenberg in
f
o leak
s
:
use stripped
dat
a
from copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
r
osenberg in
f
o leaks:
m
ake ch
e
ck_members_initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: ha
n
dle "if (a
& 0x1)" c
o
ndit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
nt
e
r
f
low
:
fake assigns better
for n
e
sted st
r
ucts and a
r
ray
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
helper: get_membe
r
_name(
)
c
o
u
ld store unions (sort
o
f)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
u
s
e
r
_
d
ata
:
fix cra
s
hing bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
math
:
i
mprove how casts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpente
r
math: i
n
troduc
e
g
e
t_ab
s
olute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
ath: imp
r
ove h
o
w bitwise AND
s
a
r
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
kernel data/
:
u
p
date
to re
c
e
nt l
i
n
ux-n
e
xt
(
3
.
1
1
-r
c
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arpenter
d
b
:
de
c
lar
e
s
t
rnl
e
n
(
) as return
i
ng
"0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
n
t
er
user_data: ex
p
ort is_user_ma
c
ro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
arp
e
nter
us
e
r_dat
a
:
mark ntohl() d
a
ta as u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data: improve tr
a
c
king set vs passed
i
n user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
i
mplied
:
remove some unused co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Carpenter
check_
o
verflow: silen
c
e some "not al
l
ocating e
n
ou
g
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
D
a
n C
a
rpenter
compa
r
iso
n
:
white s
p
ace cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpe
n
t
er
extra: handle binop compari
s
ons
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan Car
p
enter
db/fixu
p
_kernel
.
sh: f
i
lter ->read/wri
t
e() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
D
a
n Carpenter
function_p
t
r: handle scope
o
f function pointers
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpenter
smatch: add --debug=c
h
ec
k
_name op
t
ion to deb
u
g
onl
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan
Carp
e
nte
r
comparison: fix
break
a
ge caused by
movi
n
g to var
_
sym_lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpe
n
ter
compar
i
son: clean
u
p first_sym()
a
nd rename to
v
sl_to_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carp
e
nter
comp
a
r
i
son: cleanup: get r
i
d
of
s
ym pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
Da
n
Car
p
en
t
er
com
p
ari
s
o
n
:
track
modific
a
tions better
u
s
i
ng
v
ar_sym_l
i
sts
commit
|
commitdiff
|
tree
2013-07-02
Dan
C
arpe
n
ter
var_sym: introduce som
e
h
elper function
s
f
o
r handling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Ca
r
pen
t
e
r
debug: add __smatch_states("register_compar
i
son")
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan
C
ar
p
enter
d
e
bug: updat
e
d
e
bug to ha
n
dle the new compar
i
son features
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carp
e
n
t
er
comparis
o
n: inherit links when the comparison is se
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
compari
s
o
n
: p
a
r
t
iall
y
fix how links are up
d
ate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
D
a
n
C
arpente
r
db
:
track some more
==
p
1 r
e
turn val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
co
m
parison
:
save correct link name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpe
n
ter
helper: export append() fun
c
t
ion
(
it'
s
the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Da
n
Car
p
enter
com
p
ari
s
on: fix
bug
handli
n
g min_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
c
omparison: ignore assig
n
s l
i
ke +
=
or /
=
fo
r
now
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpe
n
ter
r
anges: problems parsin
g
"
s32min-(-1)[<=
p
2
]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Da
n
Carpenter
c
o
mparis
o
n: c
o
mpar
i
so
n
s with
3
variables: "a >
b
+ c"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
comparison: if "a
< b" and "
b
<
c" th
e
n "a < c
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan
Carpenter
c
ompa
r
ison
:
introdu
c
e
var_sym
_
eq() helper
f
u
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
comparison: code clean
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan
C
arpenter
comparison: handle div
i
de "a = b /
2
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
comparison:
stop
c
aring so much
a
bout wrapping (it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
D
a
n Carpenter
comparison
:
inherited comp
a
ri
s
o
ns
were reversed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-21
Dan Carpenter
m
ath: s
t
uf
f
stored
i
n the local
v
a
riable table from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
D
a
n Carpenter
db, smdb
.
py: add call_tr
e
e o
p
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
D
a
n Carpent
e
r
overfl
o
w: us
e
hard_max instea
d
of
f
u
zzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
Dan Carpenter
math: fix get
_
fuz
z
y_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next