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
stree: fix a bunch of stree leaks
2013-11-21
D
an Carpenter
.
gitignore:
i
gnore bak
.
sma
t
ch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an C
a
rpen
t
er
db: fi
x
up_kern
e
l
.
sh: say that w
e
onl
y
ha
v
e 6
4
C
PU
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
pres
e
rve unmerged states in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
db: group functi
o
n p
o
inter return
states together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
db: order the retur
n
_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpente
r
db: f
i
xu
p
_kernel
.
sh
:
ignore ti
m
er_list
f
unct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Car
p
enter
db: fixup_ke
r
nel
.
sh: remove some
USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
n
t
e
r
db: impro
v
e database
d
e
bug
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h
: shift some struct members arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carp
e
nter
f
l
ow: cl
e
ar_b
u
ffer: revert pa
r
t of c
o
mmit that u
s
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flow: re-write how struct
m
ember
s
a
r
e initi
a
l
i
ze
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Ca
r
penter
sma
t
ch_cle
a
r_buffer: memcpy() sh
o
u
l
d
set the desti
n
atio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carpenter
smatc
h
_c
l
ear_bu
f
f
er: ma
k
e a f
u
nction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nter
sm
a
tch_data/ker
n
el
.
clears
_
arg
u
ment: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan C
a
rpen
t
er
flow: intro
d
uce outside
_
of_function() to fi
x
g
lobal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpe
n
ter
db: kern
e
l: ignore i40e_
d
b
g_
n
e
t
dev_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
C
a
rpe
n
ter
flow: s
e
t me
m
bers
to
zero by d
e
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db, e
x
tr
a
,
u
ser_dat
a
: handle: *x = 1; retu
r
n x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
a
rpenter
user_data: remove km
e
mdup_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_
d
ata: mak
e
a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
container_of
:
people
c
h
eckin
g
the r
e
t
urn
value of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan C
a
rpente
r
helper: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Ca
r
penter
u
ser_data: make a
fun
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Carpenter
ma
t
h: export get_const_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handle bitwis
e
OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
penter
math: handle LEFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
r
p
enter
m
ath: remove an impossibl
e
cond
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix
-
-no-data so it
doesn't s
p
ew database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Ca
r
p
enter
extra: f
i
x
a crash pars
i
ng invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof:
f
ix
t
y
po in error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
n
te
r
size
o
f:
c
o
m
plain if code
d
oes sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
t
y
pe: let get_real_base_type() ta
k
e NU
L
L parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan C
a
rpenter
d
b
:
r
en
a
me add_returned_
s
tate
_
callba
c
k() =>
a
dd_split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpente
r
ros
e
n
b
erg info l
e
aks: check __cop
y
_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpente
r
ro
s
enbe
r
g
i
nfo leaks: use PARA
M
_CL
E
ARED
data fro
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg
i
nfo lea
k
s: use stripped data from copy_t
o
_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
ro
s
enbe
r
g in
f
o
l
eaks: make
c
heck_members_initialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
extra: handle "if (a &
0x1)
"
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Carpenter
flow: fake
a
ssigns
b
etter fo
r
nes
t
ed struc
t
s
a
nd array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
h
e
lper: get_mem
b
e
r
_name
(
)
c
ould store unions (s
o
rt of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
C
a
r
p
e
nter
user_data: fix
c
rash
i
ng bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: i
m
prov
e
how casts are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: introduc
e
get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: im
p
rov
e
how
b
i
twise ANDs
are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpenter
ke
r
nel
data/: update
t
o recent linux-next (3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
db: declare strnlen() as returnin
g
"0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpe
n
ter
u
se
r
_dat
a
:
export is_user_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpent
e
r
user_data: mark n
t
ohl() data a
s
use
r
_
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
user_data: i
m
prove tracking set
v
s
passed i
n
user
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Ca
r
pente
r
implied: remove some unused
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Ca
r
penter
check_overflow: sil
e
n
ce some "not allo
c
a
ting enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan C
a
rp
e
nter
c
o
mp
a
rison: white spa
c
e cle
a
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
extra: hand
l
e
bin
o
p
c
om
p
aris
o
ns
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan Carpenter
d
b
/
fix
u
p_kernel
.
sh: filter ->rea
d
/write() functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Da
n
Carpenter
function_pt
r
: handle
s
co
p
e
of fu
n
ction po
i
nters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
D
a
n
Carpenter
smatch
:
a
d
d --
d
e
bug
=
check_
n
ame
o
ption to debug only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpe
n
t
er
comp
a
rison: fix breaka
g
e caused by mo
v
ing to
v
ar_sym_lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n Carpenter
comparison: cleanup first_sym
(
) and r
e
na
m
e to vs
l
_t
o
_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpenter
c
o
mparison: clean
u
p: get rid of sym pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
Dan Ca
r
penter
compariso
n
:
track modificatio
n
s bet
t
er usi
n
g
v
ar_sy
m
_lists
commit
|
commitdiff
|
tree
2013-07-02
Dan Carpe
n
ter
var
_
s
y
m: introduce some helpe
r
fun
c
tio
n
s for
hand
l
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan C
a
rpent
e
r
deb
u
g: add __smatch_states("register_compari
s
on
"
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan
Carpenter
debug: upd
a
te d
e
bug
t
o hand
l
e
the new comparison features
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan
Carpen
t
er
compar
i
s
o
n: i
n
herit links when the comparison is
s
e
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpente
r
comparison: parti
a
lly f
i
x
how links are
updated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan
C
arpenter
db: tr
a
ck so
m
e more ==p1 return values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
compa
r
ison: save correct link nam
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
helper: e
x
port append
(
)
f
unction (it's
t
he
s
ame as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
co
m
par
i
s
on: fi
x
bug
handli
n
g min_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
comp
a
rison: ignore assigns lik
e
+
= or /= for no
w
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpen
t
er
ra
n
ges:
problems parsing "s32
m
in-(-1
)
[<=p2]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Car
p
enter
compa
r
ison:
c
o
mpa
r
isons w
i
th 3 v
a
riables: "a > b +
c"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
compa
r
iso
n
: if "a < b" and "b < c" then "a
< c"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
co
m
pa
r
i
son: introduce var_sym_eq(
)
helpe
r
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan C
a
rpenter
co
m
parison: code cle
a
n
u
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
co
m
pa
r
ison: handle divide "a =
b
/
2
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
D
a
n Carpenter
comparison
:
stop caring s
o
much ab
o
u
t wrapp
i
ng (it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-27
Dan Carpenter
comp
a
ris
o
n
:
inherited c
o
mparisons were
revers
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-21
Dan Carpenter
math
:
stuff stored
i
n t
h
e local variable ta
b
le from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
Dan Car
p
enter
db
,
s
m
d
b
.
py: add cal
l
_tree option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
Dan Carpenter
overflow: use hard_max inste
a
d
of f
u
zzy m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-20
Dan
Car
p
e
n
ter
math
:
fix get_fuzzy_
m
a
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan Ca
r
penter
r
anges: parse
"
0[<=p1]"
c
o
r
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan
Carpenter
user_data: handle
r
e
turned
u
s
er dat
a
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan Carpenter
db: return_state_to_var_
s
ym()
s
ometi
m
e
s
prints
garbag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan Carpenter
db: rename add_defin
i
tio
n
_db_callba
c
k() => select_
c
a
l
ler_inf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan Carpenter
db: rena
m
e add_db_fn_cal
l
_callback() =>
s
elect_call_implies_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan
C
arpenter
db: rename
add
_
db_re
t
ur
n
_stat
e
s_before() => select_
r
eturn_st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
D
an Ca
r
p
e
nter
d
b: rename add_db_return_
s
tates_callback()
=
>
sele
c
t_return_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-19
Dan Carpente
r
db: h
a
ndle conditio
n
al returns better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-18
D
a
n
C
a
rpenter
db: use comparison
in db to determine get_im
p
l
ied_rl
(
)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-18
Dan Carpenter
d
b: drop unused
r
eturn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-18
Dan Carpenter
flow, c
l
e
ar_buffer: fake assign
s
were executing unops
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
D
an Ca
r
penter
u
s
e
r_data: hand
l
e modificati
o
n be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
D
an Carpent
e
r
u
se
r
_data, db: impro
v
e how returned user data is h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan C
a
rpe
n
ter
db
:
intr
o
duce return_state_t
o
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Da
n
Carpen
t
er
valida
t
ion, che
c
k_user
_
data
:
a
dd
a validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan Carpenter
debug:
i
ntroduce _
_
smatch_state
(
check_name,
s
tate_name)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan Carpe
n
ter
db, fixup_kern
e
l
.
sh: ig
n
o
r
e (struct irq_ro
u
ter
)
->set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan Carpenter
user_data: t
r
ack things
l
i
ke get_
u
se
r
_data
(
&
my_point
e
r)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next