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
chunk: improve expr_to_chunk_sym_vsl()
2015-07-14
Dan Carp
e
nte
r
chunk: i
m
prov
e
expr_
t
o_chun
k
_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helpe
r
: improve ge
t
_
com
p
lication_s
c
ore()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
he
l
per: expo
r
t get_complication
_
score(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
a
rpenter
type
:
exp
o
rt is_local
_
variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: change the API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
D
an Carpenter
extr
a
: start tracking "chu
n
ks"
i
nstead of
just vari
a
b
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Ca
r
pen
t
er
mat
h
: giv
e
up if calc
u
lating a valu
e
is too complica
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
a
n Carpenter
implie
d
:
t
urn
o
ff debug
m
essages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Da
n
Car
p
en
t
er
check_list
.
h: m
o
ve stor
e
d_condition
_
lin
k
s
next to stor
e
d_co
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan C
a
rpenter
flow: ignore arrays with over a
1
0
00 elements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carp
e
nter
db/fixup_kernel
.
sh: hack a
r
oun
d
slow rtlwi
f
i
tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
c
a
pped: use FOR_
E
ACH_MY_SM(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Ca
r
penter
use
r
_data
2
: add skb_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
use
r
_da
t
a2: handle pointers to user
d
ata better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data:
a
dd kmap
_
atomi
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Ca
r
penter
use
r
_data: s/kmemdup_
u
ser/memdup_
u
ser/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
te
s
t
_
b
it: add set_b
i
t(
)
a
n
d
c
lear_b
i
t() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpent
e
r
che
c
k
_
d
eref: remo
v
e
c
all to
g
ett
i
ng_a
d
dress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Car
p
enter
estate: make c
l
one_estate
(
) take a NULL
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpe
n
t
e
r
w
hite
s
pace: change s
o
m
e
s
paces to
t
a
b
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan
C
arpenter
deb
u
g: add some
t
ools for developing the d
b
parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
penter
buf_size
:
improve
r
esizable struct han
d
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Ras
m
us Vil
l
emoe
s
e
l
iminate some
c
ats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpente
r
db: fix
a
b
u
g
in
s
pl
i
t returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
Car
p
enter
extra
:
introduce get
_
e
x
tra_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpenter
s
m
atch: cha
n
ge all remaining references fro
m
warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
s
mus
V
illemo
e
s
prefix smatch generated files by sm
a
tch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
test_kernel
.
sh: clea
n
u
p
.
c
.
smatch f
i
les after cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
R
a
s
mus Villemoes
Docu
m
entat
i
on: make
m
e le
s
s
c
onfused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
trace_param
s
.
pl: fix
h
ash/hash referen
c
e co
n
f
u
s
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpente
r
ke
r
nel
.
ig
n
o
red_m
a
c
ros
:
add
S
NI
C
_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpent
e
r
unrea
c
hable: igno
r
e list_for_each
_
entry_continue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpent
e
r
extra: han
d
le x = (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpen
t
er
impli
e
d
:
fix
a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: h
a
ndle ty
p
eof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpenter
math: hand
l
e __sma
t
ch_implied(&foo->ba
r
) a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
a
s
signed_ex
p
r: sto
r
e
it l
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
functio
n
_hooks: fix validation/sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
a
rp
e
n
ter
locking: add new down_ti
m
eout() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpent
e
r
smatch_
a
ddres
s
:
fix c
o
mpile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpenter
fixup_kerne
l
.
s
h
: ignore s
o
m
e __
v
fs_
w
rite() c
a
ll
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixu
p
_kern
e
l: update
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefile: eliminate a llvm-conf
i
g
build w
a
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Da
n
Carpen
t
er
debug:
i
m
prove __
s
match_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Car
p
ent
e
r
fl
o
w: ignore pare
n
thesis in prev_expression_i
s
_g
e
tting_
a
ddr
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan C
a
rpenter
unreachable: ignore netdev_for_ea
c
h_low
e
r_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan C
a
rpe
n
ter
f
l
ow: cleanup prev
_
expres
s
ion_is_gett
i
ng_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
f
low: "
&
foo
-
>bar" i
s
no
t
a
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
D
a
n
Carpenter
smatch
_
address: separat
e
t
h
ings out
into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan
C
arpen
t
er
*new* ch
e
ck_test_bit: c
h
eck for test_bit(BIT(
0
), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpen
t
er
type: speed
u
p get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: improve get_b
i
nop_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
arpenter
fl
o
w
:
add a new expr->parent struct member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: hard code
__s
p
i_syn
c
(
)
retu
r
ns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Car
p
ent
e
r
fixup_ke
r
nel: kma
l
loc() can allocate more
data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
O
le
g
Drokin
c
heck_locking
.
c: Fix
a
nnoy
i
ng invisi
b
l
e read_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpente
r
smatch_address: sor
t
pointers into dif
f
er
e
nt ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpente
r
extra: remove some
unused func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
pen
t
er
smatch
.
h
: add the comparison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_to_str:
fix a c
r
ashing
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo
Yang
smatch
.
h:
a
dd estate_get_s
i
ng
l
e_val
u
e
() declarati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
Carpe
n
ter
ig
n
ore_sid
e
_
e
ffects: get_chil
d
_
rcu(
)
double eval
u
ate
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
i
m
plied: u
s
e co
m
paris
o
n i
n
form
a
t
i
on fo
r
implica
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h: m
o
v
e stree_
s
tack declaration from s
m
atch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carp
e
nter
rosenberg: add __b
u
il
t
in_
m
e
mset/
m
emcpy(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
penter
user_data2: ha
n
dle returned
struct
member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
comparison: upd
a
te a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
smdb
.
py: u
p
date to reflect LIMIT/FI
L
TER changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
u
n
w
i
n
d: add some null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
rpen
t
er
type:
include sma
t
ch_sl
i
s
t
.
h
to prev
e
nt a segf
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
ex
t
ra: don't set states to unknown
a
t the
b
e
g
in
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
p
e
n
t
er
extra: do
n
't s
e
t tr
u
e f
a
l
s
e sta
t
es if the
y
are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
f
u
nction_hooks: add
a
h
ack arou
n
d
in compare_db_return_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
list
:
a
d
d
a
comment about registe
r
_imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
param_limit: ha
n
dle s
t
ruc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
p
e
nter
states
:
whit
e
space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nte
r
conditions: ignore
k
n
o
wn/imp
l
ied conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
strings: record string
as
s
ig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignme
n
t: sav
e
a lot more information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
param_limit/filter:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silv
a
n Jegen
db: Avoid deref
e
renci
n
g null p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
c
omparison: ha
n
dle canoni
c
al for loops
w
ith va
r
i
a
bl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
comparison: u
n
signed can not be
l
e
s
s than zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpe
n
ter
flow: set __cur_stmt and __prev_
s
t
m
t
inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Car
p
enter
compari
s
on:
m
er
g
ing
equivalent states
i
s not undefin
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
co
m
p
arison: fix an inde
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
func
t
i
o
n_hook
s
: fix u
p
db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
function_hoo
k
s, debu
g
:
print impossible
retur
n
s if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
n
ter
helper: don't strip castin
g
in get_a
r
ray_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
links:
e
xp
o
rt
merge_link_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
nt
e
r
helper: make
ex
p
r_to_str() print fo
r
ced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
type: make type_to_str(
)
r
e
turn
a sn
a
me(
)
b
u
ffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modifi
c
a
t
ion_ho
o
k
s
: set a variabl
e
as
m
odified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
user_data2: tag it if a
f
unction sets parameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: cl
e
anup a
f
uncti
o
n
p
r
o
t
otype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
ter
der
e
f
_
check: ignor
e
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
C
arpenter
typ
e
: make
s
v
al_type_ma
x
() default
t
o "long long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
t
y
pe: don't return SYM_NOD
E
types from get_real_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
si
d
e_effec
t
s: the
i
t
erate_all_kinds()
m
ac
r
o h
a
s side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
a
r
p
e
nter
unreachable: d
o
n't complain a
b
out
ite
r
ate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next